On Asynchronous Session Semantics

This paper studies a behavioural theory of the π-calculus with session types under the fundamental principles of the practice of distributed computing — asynchronous communication which is order-preserving inside each connection (session), augmented with asynchronous inspection of events (message arrivals). A new theory of bisimulations is introduced, distinct from either standard asynchronous or synchronous bisimilarity, accurately capturing the semantic nature of session-based asynchronously communicating processes augmented with event primitives. The bisimilarity coincides with the reduction-closed barbed congruence. We examine its properties and compare them with existing semantics. Using the behavioural theory, we verify that the program transformation of multithreaded into event-driven session based processes, using Lauer-Needham duality, is type and semantic preserving

On Observing Dynamic Prioritised Actions in SOC

We study the impact on observational semantics for SOC of priority mechanisms which combine dynamic priority with local pre-emption. We define manageable notions of strong and weak labelled bisimilarities for COWS, a process calculus for SOC, and provide alternative characterisations in terms of open barbed bisimilarities. These semantics show that COWS’s priority mechanisms partially recover the capability to observe receive actions (that could not be observed in a purely asynchronous setting) and that high priority primitives for termination impose specific conditions on the bisimilarities

A Mesolithic settlement site at Howick, Northumberland: a preliminary report

Excavations at a coastal site at Howick during 2000 and 2002 have revealed evidence for a substantial Mesolithic settlement and a Bronze Age cist cemetery. Twenty one radiocarbon determinations of the earlier eighth millennium BP (Cal.) indicate that the Mesolithic site is one of the earliest known in northern Britain. An 8m core of sediment was recovered from stream deposits adjacent to the archaeological site which provides information on local environmental conditions. Howick offers a unique opportunity to understand aspects of hunter-gatherer colonisation and settlement during a period of rapid palaeogeographical change around the margins of the North Sea basin, at a time when it was being progressively inundated by the final stages of the postglacial marine transgression. The cist cemetery will add to the picture of Bronze Age occupation of the coastal strip and again reveals a correlation between the location of Bronze Age and Mesolithic sites which has been observed elsewhere in the region

An Introduction to Pervasive Interface Automata

Pervasive systems are often context-dependent, component based systems in which components expose interfaces and offer one or more services. These systems may evolve in unpredictable ways, often through component replacement. We present pervasive interface automata as a formalism for modelling components and their composition. Pervasive interface automata are based on the interface automata of Henzinger et al, with several significant differences. We expand their notion of input and output actions to combinations of input, output actions, and callable methods and method calls. Whereas interfaces automata have a refinement relation, we argue the crucial relation in pervasive systems is component replacement, which must include consideration of the services offered by a component and assumptions about the environment. We illustrate pervasive interface autmotata and component replacement with a small case study of a pervasive application for sports predictions

On affine usages in signal-based communication

We describe a type system for a synchronous pi-calculus formalising the notion of affine usage in signal-based communication. In particular, we identify a limited number of usages that preserve affinity and that can be composed. As a main application of the resulting system, we show that typable programs are deterministic

Model driven testing based on test history

We consider software systems consisting of a set of components running as a sequential process. We model such software systems as a special class of transition systems. The difference with existing approaches is that we propose a test procedure based on the structure of the model and the prior test history that can be used for exhaustive testing in an efficient way. On top of that we provide a statistical stopping rule, that is independent of the underlying way of walking through the system, which allows us to stop earlier with a certain statistical reliability.</p

Search for fractionally charged particles

An ion source and a charge spectrometer system have been used to search in solid, stable matter for particles with nonintegral charge. Samples of niobium, tungsten, selenium, and meteorites were searched for fractionally charged particles with effective nuclear charge Z=N+(1/3e (N=0,1,...), and Z=N+(2/3e (N=0,1). No positive signal was observed and concentration limits are reported

SCC: A Service Centered Calculus

We seek for a small set of primitives that might serve as a basis for formalising and programming service oriented applications over global computers. As an outcome of this study we introduce here SCC, a process calculus that features explicit notions of service definition, service invocation and session handling. Our proposal has been influenced by Orc, a programming model for structured orchestration of services, but the SCC’s session handling mechanism allows for the definition of structured interaction protocols, more complex than the basic request-response provided by Orc. We present syntax and operational semantics of SCC and a number of simple but nontrivial programming examples that demonstrate flexibility of the chosen set of primitives. A few encodings are also provided to relate our proposal with existing ones

Vesicles in solutions of hard rods

The surface free energy of ideal hard rods near curved hard surfaces is determined to second order in curvature for surfaces of general shape. In accordance with previous results for spherical and cylindrical surfaces it is found that this quantity is non-analytical when one of the principal curvatures changes signs. This prohibits writing it in the common Helfrich form. It is shown that the non-analytical terms are the same for any aspect ratio of the rods. These results are used to find the equilibrium shape of vesicles immersed in solutions of rod-like (colloidal) particles. The presence of the particles induces a change in the equilibrium shape and to a shift of the prolate-oblate transition in the vesicle phase diagram, which are calculated within the framework of the spontaneous curvature model. As a consequence of the special form of the energy contribution due to the rods these changes cannot be accounted for by a simple rescaling of the elastic constants of the vesicle as for solutions of spherical colloids or polymers.Comment: 11 pages, 7 figures, submitted to Phys. Rev.