Causality and replication in concurrent processes

The replication operator was introduced by Milner for obtaining a simplified description of recursive processes. The standard interleaving semantics denotes the replication of a process P, written !P, a shorthand for its unbound parallel composition, operationally equivalent to the process P | P | …, with P repeated as many times as needed. Albeit the replication mechanism has become increasingly popular, investigations on its causal semantics has been scarce. In fact, the correspondence between replication and unbound parallelism makes it difficult to recover basic properties usually associated with these semantics, such as the so-called concurrency diamond. In this paper we consider the interleaving semantics for the operator proposed by Sangiorgi and Walker, and we show how to refine it in order to capture causality. Furthermore, we prove it coincident with the standard causal semantics for recursive process studied in the literature, for processes defined by means of constant invocations

Radiative corrections for (e,e′p) reactions at GeV energies

A general framework for applying radiative corrections to (e,e′p) coincidence reactions at GeV energies is presented, with special emphasis to higher-order bremsstrahlung effects, radiation from the scattered hadron, and the validity of peaking approximations. The sensitivity to the assumptions made in practically applying radiative corrections to (e,e′p) data is extensively discussed. The general framework is tested against experimental data of the 1H(e,e′p) reaction at momentum transfer values larger than 1.0 (GeV/c)^2, where radiative processes become a dominant source of uncertainty. The formulas presented here can easily be modified for any other electron-induced coincidence reaction

Longitudinal and Transverse Response Functions in ^(56)Fe(e,e') at Momentum Transfer near 1 GeV/c

Inclusive electron-scattering cross sections have been measured for ^(56)Fe in the quasielastic region at electron energies between 0.9 and 4.3 GeV, at scattering angles of 15° and 85°. Longitudinal and transverse response functions at a q of 1.14 GeV/c have been extracted using a Rosenbluth separation. The experimental Coulomb sum has been obtained with aid of an extrapolation. The longitudinal response function, after correction for Coulomb distortion, is lower than quasifree-scattering-model predictions at the quasielastic peak and on the high-ω side

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

Interaction and observation: categorical semantics of reactive systems trough dialgebras

We use dialgebras, generalising both algebras and coalgebras, as a complement of the standard coalgebraic framework, aimed at describing the semantics of an interactive system by the means of reaction rules. In this model, interaction is built-in, and semantic equivalence arises from it, instead of being determined by a (possibly difficult) understanding of the side effects of a component in isolation. Behavioural equivalence in dialgebras is determined by how a given process interacts with the others, and the obtained observations. We develop a technique to inter-define categories of dialgebras of different functors, that in particular permits us to compare a standard coalgebraic semantics and its dialgebraic counterpart. We exemplify the framework using the CCS and the pi-calculus. Remarkably, the dialgebra giving semantics to the pi-calculus does not require the use of presheaf categories

Graphical Encoding of a Spatial Logic for the pi-Calculus

This paper extends our graph-based approach to the verification of spatial properties of π-calculus specifications. The mechanism is based on an encoding for mobile calculi where each process is mapped into a graph (with interfaces) such that the denotation is fully abstract with respect to the usual structural congruence, i.e., two processes are equivalent exactly when the corresponding encodings yield isomorphic graphs. Behavioral and structural properties of π-calculus processes expressed in a spatial logic can then be verified on the graphical encoding of a process rather than on its textual representation. In this paper we introduce a modal logic for graphs and define a translation of spatial formulae such that a process verifies a spatial formula exactly when its graphical representation verifies the translated modal graph formula

A computational group theoretic symmetry reduction package for the SPIN model checker

Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence of states during search. We present TopSpin, a fully automatic symmetry reduction package for the Spin model checker. TopSpin uses the Gap computational algebra system to effectively detect state space symmetry from the associated Promela specification, and to choose an efficient symmetry reduction strategy by classifying automorphism groups as a disjoint/wreath product of subgroups. We present encouraging experimental results for a variety of Promela examples

y scaling in electron-nucleus scattering

Data on inclusive electron scattering from A = 4, 12, 27, 56, 197 nuclei at large momentum transfer are presented and analyzed in terms of y scaling. We find that the data do scale for y 1), and we study the convergence of the scaling function with the momentum transfer Q^2 and A