-
An Asynchronous Model of Locality, Failure, and Process Mobility
We present a model of distributed computation which is based on a fragment of the $\pi$-calculus relying on {\em asynchronous} communication. We enrich the model with... -
Behavioral Equivalence in the Polymorphic Pi-Calculus
This dataset has no description
-
An Interpretation of Typed Objects Into Typed $\pi$-calculus
An interpretation of Abadi and Cardelli's first-order functional {\em Object Calculus\/} \cite{AbCa94a} into a typed $\pi$-calculus is presented. The interpretation... -
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... -
Some Congruence Properties for pi-calculus Bisimilarities
Both for interleaving and for non-interleaving semantics, several variants of a $\pi$-calculus bisimilarity can be given which differ on the requirements imposed on... -
pi-calculus, internal mobility, and agent-passing calculi
The $\pi$-calculus is a process algebra which originates from CCS and permits a natural modelling of mobility (i.e., dynamic reconfigurations of the process linkage)... -
Lazy functions and mobile processes
This paper continues the study of Milner's encoding of the lazy $\lambda$-calculus into the $\pi$-calculus \cite{Mil92}. The encoding is shown to give rise to a... -
Two Semantics for a Language of Reactive Objects
We are studying semantics of a small object-based language, with the following main characteristics: parallelism, dynamicity, high order parameters, notion of a global... -
Hide and New in the Pi-Calculus
International audience -
An Architecture-Centric Approach for Information System Architecture Modeling...
International audience -
A petri net interpretation of open reconfigurable systems
International audience -
Reaction Constraints for the Pi-Calculus - A Language for the Stochastic and ...
For cell-biological processes, it is the complex interaction of their biochemical components, affected by both stochastic and spatial considerations, that create the... -
Stochastic simulation of multiple process calculi for biology
International audience -
A Typed Calculus for Querying Distributed XML Documents
We study the problems related to querying large, distributed XML documents. Our proposal takes the form of a new process calculus in which XML data are processes that... -
Bisimulations up-to: beyond first-order transition systems
International audience
