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

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

On the relative expressiveness of higher-order session processes

By integrating constructs from the λ-calculus and the π-calculus, in higher-order process calculi exchanged values may contain processes. This paper studies the relative expressiveness of HOπ, the higher-order π-calculus in which communications are governed by session types. Our main discovery is that HO, a subcalculus of HOπ which lacks name-passing and recursion, can serve as a new core calculus for session-typed higher-order concurrency. By exploring a new bisimulation for HO, we show that HO can encode HOπ fully abstractly (up to typed contextual equivalence) more precisely and efficiently than the first-order session π-calculus (π). Overall, under session types, HOπ, HO, and π are equally expressive; however, HOπ and HO are more tightly related than HOπ and π

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

Nonacceptability criteria and closure properties for the class of languages accepted by binary systolic tree automata

AbstractIn this paper a contribution is given to the solution of the problem of finding an inductive characterization of the class of languages accepted by binary systolic tree automata, L(BSTA), in terms of the closure of a class of languages with respect to certain operations. It is shown that L(BSTA) is closed with respect to some new operations: selective concatenation, restricted concatenation and restricted iteration. The known nonclosure of L(BSTA) with respect to classical language operations, like concatenation and Kleene iteration is proved here by using a new nonacceptability criterion

Full Understanding of Hot Electrons and Hot/Cold Holes in the Degradation of p-channel Power LDMOS Transistors

Degradation induced by hot-carrier stress is a crucial issue for the reliability of power LDMOS transistors. This is even more true for the p-channel LDMOS in which, unlike the n-channel counterpart, both the majority and minority carriers play a fundamental role on the device reliability. An in-depth study of the microscopic mechanisms induced by hot-carrier stress in new generation BCD integrated p-channel LDMOS is presented in this paper. The effect of the competing electron and hole trapping mechanisms on the on-resistance drift has been thoroughly analyzed. To this purpose, TCAD simulations including the deterministic solution of Boltzmann transport equation and the microscopic degradation mechanisms have been used, to the best of our knowledge, for the first time. The insight gained into the degradation sources and dynamics will provide a relevant basis for future device optimization

NaDES as a green technological approach for the solubility improvement of BCS class II APIs: An insight into the molecular interactions

Recently, Natural Deep Eutectic Solvents (NaDES) have emerged as potential solvents for boosting drug bioavailability. In this work, the mechanism of solubility enhancement of some APIs belonging to BCS class II (tolbutamide, nimesulide, domperidone and cinnarizine) in these eutectic bio-solvents was investigated in order to get deeper insights into the molecular interactions between the NaDES components and the selected drugs. Different NaDES formulations based on choline chloride, proline, solid organic acids (citric, tartaric and malic acid), sugars (glucose and xylitol) and water were prepared by mild heating (70 °C). Characterization of unloaded NaDES (pH, Karl Fisher titration, viscosity and FTIR analysis) indicated that the type of Hydrogen Bond Acceptor (HBA) and Hydrogen Bond Donor (HBD), their molar ratio as well as water amount strongly affect the extent of H-bonding interactions. Hard gelatin capsules filled with NaDES maintained their integrity until 6 months, proving that all water molecules participate in H-bond network. APIs' solubility enhancement was significant in all NaDES with respect to buffer solutions (pH 1.2 and 6.8). Analysing NaDES having Choline as HBA, it was found that the solubility of smaller molecules increased using larger HBD, while higher molecular weight APIs can be better inserted into the network formed by smaller HBD. NOE experiments demonstrated the formation of a robust supramolecular structure among the protons of choline, those of organic acid and water. In addition, 1D ROESY spectra revealed for the first time the crucial role of choline (methyl groups) in establishing hydrophobic interactions with the relative aliphatic or aromatic portion of the drugs. These data suggest the complex structure of the API-NaDES supramolecular assembly and underline that drug solubility is dependent on a balance network of H-bonds and hydrophobic interactions as well. Understanding the type of interactions between the API and NaDES is essential for their use as effective solubilisation aid