In this paper, we develop a non–interleaving semantics and an interleaving semantics for MSC’96 based on the model of families of partially ordered sets. These semantics are no denotational semantics, but are defined via translations of the textual syntax for MSC’96 into a process algebra. We show that the interleaving semantics agrees on BMSC with the standardized semantics for MSC’92, while t...

This paper proposes a non interleaving semantics for CCS and de nes a class of CCS compositions for which interleaving and non interleaving se mantics are equivalent It also presents a fast software tool for analysis of CCS compositions under non interleaving semantics The tool employs Petri net techniques with multiple transition rings Contact jacek cse unsw oz au

This paper proposes a new sub-threshold low power 9T static random-access memory (SRAM) cell compatible with bit interleaving structure in which the effective sizing adjustment of access transistors in write mode is provided  by isolating writing and reading paths. In the proposed cell, we consider a weak inverter to make better write mode operation. Moreover applying boosted word line feature ...

This paper studies t-interleaving on two-dimensional tori, which is defined by the property that every connected subgraph of order t in the torus is labelled by t distinct integers. This is the first time that the t-interleaving problem is solved for graphs of modular structures. t-interleaving on tori has applications in distributed data storage and burst error correction, and is closely relat...

This paper presents a chaotic interleaving approach for efficient data transmission with orthogonal frequency division multiplexing (OFDM) over fading channels. The binary data is interleaved with the proposed approach prior to the modulation step. The chaotic Baker map is used in the proposed interleaving approach. In addition to reducing the channel effects on the transmitted data, the propos...

In this paper the authors investigate the action of ambient turbulence on thermohaline interleaving using both theory and numerical calculations in combination with observations from Meddy Sharon and the Faroe Front. The highly simplified models of ambient turbulence used previously are improved upon by allowing turbulent diffusivities of momentum, heat, and salt to depend on background gradien...