A non-interleaving process calculus for multi-party synchronisation

We introduce the wire calculus. Its dynamic features are inspired by Milner's CCS: a unary prefix operation, binary choice and a standard recursion construct. Instead of an interleaving parallel composition operator there are operators for synchronisation along a common boundary and non-communicating parallel composition. The (operational) semantics is a labelled transition system obtained with SOS rules. Bisimilarity is a congruence with respect to the operators of the language. Quotienting terms by bisimilarity results in a compact closed category

Modeling Concurrency in Parallel Debugging

We propose a description language, Data Path Expressions (DPEs), for modeling the behavior of parallel programs. We have designed DPEs as a high-level debugging language, where the debugging paradigm is for the programmer to describe the expected program behavior and for the debugger to compare the actual program behavior during execution to detect program errors. We classify DPEs into five subclasses according to syntactic criteria, and characterize their semantics in terms of a hierarchy of extended Petri Net models. The characterization demonstrates the power of DPEs for modeling (true) concurrency. We also present predecessor automata as a mechanism for implementing the third subclass of DPEs, which expresses bounded parallelism. Predecessor automata extend finite state automata to recognize or generate partial ordering graphs as well as strings, and provide efficient event recognizers for parallel debugging. We briefly describe the application of DPEs race conditions, deadlock and starvation

An integrated workplace mental health intervention in a policing context: protocol for a cluster randomised control trial

BACKGROUND: In this paper, we present the protocol for a cluster-randomised trial to evaluate the implementation and effectiveness of a workplace mental health intervention in the state-wide police department of the south-eastern Australian state of Victoria. n. The primary aims of the intervention are to improve psychosocial working conditions and mental health literacy, and secondarily to improve mental health and organisational outcomes. METHODS/DESIGN: The intervention was designed collaboratively with Victoria Police based on a mixed methods pilot study, and combines multi-session leadership coaching for the senior officers within stations (e.g., Sergeants, Senior Sergeants) with tailored mental health literacy training for lower and upper ranks. Intervention effectiveness will be evaluated using a two-arm cluster-randomised trial design, with 12 police stations randomly assigned to the intervention and 12 to the non-intervention/usual care control condition. Data will be collected from all police members in each station (estimated at &gt;20 per station). Psychosocial working conditions (e.g., supervisory support, job control, job demands), mental health literacy (e.g., knowledge, confidence in assisting someone who may have a mental health problem), and mental health will be assessed using validated measures. Organisational outcomes will include organisational depression disclosure norms, organisational cynicism, and station-level sickness absence rates. The trial will be conducted following CONSORT guidelines. Identifying data will not be collected in order to protect participant privacy and to optimise participation, hence changes in primary and secondary outcomes will be assessed using a two-sample t-test comparing summary measures by arm, with weighting by cluster size. DISCUSSION: This intervention is novel in its integration of stressor-reduction and mental health literacy-enhancing strategies. Effectiveness will be rigorously evaluated, and if positive results are observed, the intervention will be adapted across Victoria Police (total employees ~16,500) as well as possibly in other policing contexts, both nationally and internationally.<br /

Critical Dynamics of Gelation

Shear relaxation and dynamic density fluctuations are studied within a Rouse model, generalized to include the effects of permanent random crosslinks. We derive an exact correspondence between the static shear viscosity and the resistance of a random resistor network. This relation allows us to compute the static shear viscosity exactly for uncorrelated crosslinks. For more general percolation models, which are amenable to a scaling description, it yields the scaling relation $k=\phi-\beta$ for the critical exponent of the shear viscosity. Here $\beta$ is the thermal exponent for the gel fraction and $\phi$ is the crossover exponent of the resistor network. The results on the shear viscosity are also used in deriving upper and lower bounds on the incoherent scattering function in the long-time limit, thereby corroborating previous results.Comment: 34 pages, 2 figures (revtex, amssymb); revised version (minor changes

Instances and connectors : issues for a second generation process language

This work is supported by UK EPSRC grants GR/L34433 and GR/L32699Over the past decade a variety of process languages have been defined, used and evaluated. It is now possible to consider second generation languages based on this experience. Rather than develop a second generation wish list this position paper explores two issues: instances and connectors. Instances relate to the relationship between a process model as a description and the, possibly multiple, enacting instances which are created from it. Connectors refers to the issue of concurrency control and achieving a higher level of abstraction in how parts of a model interact. We believe that these issues are key to developing systems which can effectively support business processes, and that they have not received sufficient attention within the process modelling community. Through exploring these issues we also illustrate our approach to designing a second generation process language.Postprin

Neither bones nor feet: track morphological variation and “preservation quality”

As purely sedimentary structures, fossil footprints are all about shape. Correctly interpreting the significance of their surface topography requires understanding the sources of morphological variation. Differences among specimens are most frequently attributed to either taxonomy (trackmaker) or to preservation quality. “Well-preserved” tracks are judged more similar to pedal anatomy than “poorly preserved” ones, but such broad-brush characterizations confound two separate episodes in a track’s history. Current evaluations of track quality fail to distinguish among behavioral, formational, intravolumetric, and post-formational sources of variation. Based on analogy with body fossils, we recommend restricting assessments of track preservation quality to modifications that take place only after a track is created. Ichnologists need to try to parse the relative influence of factors affecting disparity, but we currently lack an adequate vocabulary to describe the overall shapes and specific features of formational variants

Environment-dependent fitness gains can be driven by horizontal gene transfer of transporter-encoding genes

Many microbes acquire metabolites in a “feeding” process where complex polymers are broken down in the environment to their subunits. The subsequent uptake of soluble metabolites by a cell, sometimes called osmotrophy, is facilitated by transporter proteins. As such, the diversification of osmotrophic microorganisms is closely tied to the diversification of transporter functions. Horizontal gene transfer (HGT) has been suggested to produce genetic variation that can lead to adaptation, allowing lineages to acquire traits and expand niche ranges. Transporter genes often encode single-gene phenotypes and tend to have low protein–protein interaction complexity and, as such, are potential candidates for HGT. Here we test the idea that HGT has underpinned the expansion of metabolic potential and substrate utilization via transfer of transporter-encoding genes. Using phylogenomics, we identify seven cases of transporter-gene HGT between fungal phyla, and investigate compatibility, localization, function, and fitness consequences when these genes are expressed in Saccharomyces cerevisiae. Using this approach, we demonstrate that the transporters identified can alter how fungi utilize a range of metabolites, including peptides, polyols, and sugars. We then show, for one model gene, that transporter gene acquisition by HGT can significantly alter the fitness landscape of S. cerevisiae. We therefore provide evidence that transporter HGT occurs between fungi, alters how fungi can acquire metabolites, and can drive gain in fitness. We propose a “transporter-gene acquisition ratchet,” where transporter repertoires are continually augmented by duplication, HGT, and differential loss, collectively acting to overwrite, fine-tune, and diversify the complement of transporters present in a genome

Anatomy of the ankle ligaments: a pictorial essay

Understanding the anatomy of the ankle ligaments is important for correct diagnosis and treatment. Ankle ligament injury is the most frequent cause of acute ankle pain. Chronic ankle pain often finds its cause in laxity of one of the ankle ligaments. In this pictorial essay, the ligaments around the ankle are grouped, depending on their anatomic orientation, and each of the ankle ligaments is discussed in detail