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 π

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

Epoxy/ graphene nanocomposites – processing and properties: a review

Graphene has recently attracted significant academic and industrial interest because of its excellent performance in mechanical, electrical and thermal applications. Graphene can significantly improve physical properties of epoxy at extremely small loading when incorporated appropriately. Herein, the structure, preparation and properties of epoxy/graphene nanocomposites are reviewed in general, along with detailed examples drawn from the key scientific literature. The modification of graphene and the utilization of these materials in the fabrication of nanocomposites with different processing methods have been explored. This review has been focused on the processing methods and mechanical, electrical, thermal, and fire retardant properties of the nanocomposites. The synergic effects of graphene and other fillers in epoxy matrix have been summarised as well

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

Asymmetric Silver to Oxide Adhesion in Multilayers Deposited on Glass by Sputtering

We have developed a wedge-loaded double-cantilever beam adhesion measurement set-up for thin films deposited on glass by sputtering. The test is described in details. Results on the Glass/sublayer/Ag/ZnO multilayer provide evidence that \SnOd or \TiOd perform better than ZnO as a sublayer. Then however, rupture within the multilayer shifts to the upper Ag/ZnO interface. The latter is shown to be tougher than the lower ZnO/Ag interface, an asymmetry due to non-equilibrium interfacial structures

The Role of Frequency and Duty Cycle on the Gate Reliability of p-GaN HEMTs

In this letter, we present an extensive analysis on the role of both switching frequency (ranging from 100 kHz to 1 MHz) and duty cycle (from 10% to 90%) on the time-dependent gate breakdown of high electron mobility transistors (HEMTs) with Schottky metal to p-GaN gate. More specifically, results show how the gate lifetime of GaN HEMTs increases by reducing the frequency and the duty cycle of the stressing gate signal (VG). Such behavior is ascribed to the OFF-time, which is responsible to alter the electrostatic potential in the p-GaN layer during the rising phases of VG (from OFF- to ON-state). Findings of this analysis are useful both for further technology improvement and for GaN-based power circuit designers

A Calculus of Bounded Capacities

Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an ambient-like calculus with bounded capacities and weighed processes, where migration and activation require space. A type system complements the dynamics of the calculus by providing static guarantees that the intended capacity bounds are preserved throughout the computation

A Fully Abstract Symbolic Semantics for Psi-Calculi

We present a symbolic transition system and bisimulation equivalence for psi-calculi, and show that it is fully abstract with respect to bisimulation congruence in the non-symbolic semantics. A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted between processes and their names can be statically scoped using the standard pi-calculus mechanism to allow for scope migrations. Psi-calculi can be more general than other proposed extensions of the pi-calculus such as the applied pi-calculus, the spi-calculus, the fusion calculus, or the concurrent constraint pi-calculus. Symbolic semantics are necessary for an efficient implementation of the calculus in automated tools exploring state spaces, and the full abstraction property means the semantics of a process does not change from the original