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

Remarkable change of tunneling conductance in YBCO films in fields up to 32.4T

We studied the tunneling density of states in YBCO films under strong currents flowing along node directions. The currents were induced by fields of up to 32.4T parallel to the film surface and perpendicular to the $CuO_{2}$ planes. We observed a remarkable change in the tunneling conductance at high fields where the gap-like feature shifts discontinuously from 15meV to a lower bias of 11meV, becoming more pronounced as the field increases. The effect takes place in increasing fields around 9T and the transition back to the initial state occurs around 5T in decreasing fields. We argue that this transition is driven by surface currents induced by the applied magnetic field.Comment: 4 pages, 7 figure

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

Deriving Bisimulation Congruences: 2-categories vs precategories

G-relative pushouts (GRPOs) have recently been proposed by the authors as a new foundation for Leifer and Milner’s approach to deriving labelled bisimulation congruences from reduction systems. This paper develops the theory of GRPOs further, arguing that they provide a simple and powerful basis towards a comprehensive solution. As an example, we construct GRPOs in a category of ‘bunches and wirings.’ We then examine the approach based on Milner’s precategories and Leifer’s functorial reactive systems, and show that it can be recast in a much simpler way into the 2-categorical theory of GRPOs

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

Batalin-Vilkovisky Integrals in Finite Dimensions

The Batalin-Vilkovisky method (BV) is the most powerful method to analyze functional integrals with (infinite-dimensional) gauge symmetries presently known. It has been invented to fix gauges associated with symmetries that do not close off-shell. Homological Perturbation Theory is introduced and used to develop the integration theory behind BV and to describe the BV quantization of a Lagrangian system with symmetries. Localization (illustrated in terms of Duistermaat-Heckman localization) as well as anomalous symmetries are discussed in the framework of BV.Comment: 35 page

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

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