Successful termination in timed CSP

In proposing theories of how we should design and specify networks of processes it is necessary to show that the semantics of any language we use to write down the intended behaviours of a system has several qualities. First in that the meaning of what is written on the page reflects the intention of the designer; second that there are no unexpected behaviours that might arise in a specified system that are hidden from the unsuspecting specifier; and third that the intention for the design of the behaviour of a network of processes can be communicated clearly and intuitively to others. In order to achieve this we have developed a variant of CSP, called CSPt, designed to solve the problems of termination of parallel processes present in the original formulation of CSP. In CSPt we introduced three parallel operators, each with a different kind of termination semantics, which we call synchronous, asynchronous and race. These operators provide specifiers with an expressive and flexible tool kit to define the intended behaviour of a system in such a way that unexpected or unwanted behaviours are guaranteed not to take place. In this paper we extend out analysis of CSPt and introduce the notion of an alphabet diagram that illustrates the different categories of events that can arise in the parallel composition of processes. These alphabet diagrams are then used to analyse networks of three processes in parallel with the aim of identifying sufficient constraints to ensure associativity of their parallel composition. Having achieved this we then proceed to prove associativity laws for the three parallel operators of CSPt. Next, we illustrate how to design and construct a network of three processes that satisfy the associativity law, using the associativity theorem and alphabet diagrams. Finally, we outline how this could be achieved for more general networks of processes.

A repeated measures experiment of green exercise to improve self-esteem in UK school children

Exercising in natural, green environments creates greater improvements in adult's self-esteem than exercise undertaken in urban or indoor settings. No comparable data are available for children. The aim of this study was to determine whether so called ‘green exercise’ affected changes in self-esteem; enjoyment and perceived exertion in children differently to urban exercise. We assessed cardiorespiratory fitness (20 m shuttle-run) and self-reported physical activity (PAQ-A) in 11 and 12 year olds (n = 75). Each pupil completed two 1.5 mile timed runs, one in an urban and another in a rural environment. Trials were completed one week apart during scheduled physical education lessons allocated using a repeated measures design. Self-esteem was measured before and after each trial, ratings of perceived exertion (RPE) and enjoyment were assessed after completing each trial. We found a significant main effect (F (1,74), = 12.2, p<0.001), for the increase in self-esteem following exercise but there was no condition by exercise interaction (F (1,74), = 0.13, p = 0.72). There were no significant differences in perceived exertion or enjoyment between conditions. There was a negative correlation (r = −0.26, p = 0.04) between habitual physical activity and RPE during the control condition, which was not evident in the green exercise condition (r = −0.07, p = 0.55). Contrary to previous studies in adults, green exercise did not produce significantly greater increases in self-esteem than the urban exercise condition. Green exercise was enjoyed more equally by children with differing levels of habitual physical activity and has the potential to engage less active children in exercise.