-
Asynchronous Communications in MPI - the BIP/Myrinet Approach
In this paper, we present our experiments on asynchronous communications using the BIP and MPI interfaces on a cluster of PCs connected with a Myrinet network. We... -
Automatic Distribution of Reactive Systems for Asynchronous Networks of Proce...
This paper addresses the problem of automatically distributing reactive systems. We first show that the use of synchronous languages allows a natural parallel... -
On Bisimulations for the Asynchronous pi-calculus
The {\em asynchronous $\pi$-calculus\/} is a variant of the $\pi$-calculus where message emission is non-blocking. Honda and Tokoro have studied a semantics for this... -
An Operational Semantics for the Eiffel Language
This paper formally describes the dynamic semantic of the Eiffel language (Eiffel parallel). Eiffel is a parallel extension of Eiffel language based on passive and... -
Behavioural Semantics for Asynchronous Components
Software components are a valuable programming abstraction that enables a compositional design of complex applications. In distributed systems, components can also be...
