-
Pi-calculus and LCC, a Space Odyssey
We present a translation of the asynchronous pi-calculus into linear concurrent constraint languages (LCC), and use that translation and the recent advances in the... -
A Calculus of Higher-Order Distributed Components
This report presents a calculus for higher-order distributed components, the Kell calculus. The calculus can be understood as a direct extension of the higher-order... -
Type Inference for the receptive distributed Pi-calculus
In this paper we study the type inference problem for an extended version of the type system of d_1^r very closed to the one of Hennessy and Riely's d. These are... -
On the Expressiveness of Pure Safe Ambients
We consider the Pure Safe Ambient Calculus, which is Levi and Sangiorgi's Safe Ambient Calculus (a variant of Cardelli and Gordon's Mobile Ambient Calculus) restricted... -
On the Decidability of Fragments of the Asynchronous Pi-Calculus
We study the decidability of a reachability problem for various fragments of the asynchronous $\pi$-calculus. We consider the combination of three main features: name... -
The Receptive Distributed $\pi$-Calculus
In this paper we study an asynchronous distributed $\pi$-calculus, with constructs for localities and migration. We show that a simple static analysis ensures the... -
The Game of the Name in Cryptographic Tables
We present a name-passing calculus that can be regarded as a simplified pi-calculus equipped with a cryptographic table. The latter is a data structure representing... -
Proof of the Subject Reduction Property for a Pi-Calculus in COQ
This paper presents a method for coding pi-calculus in the COQ proof assistant- , in order to use this environment to formalize properties of the pi-calculus. This... -
A Bisimulation for the Blue Calculus
The Blue calculus is a direct extension of both the lambda and the pi calculi. In this report, we define an equivalence for this calculus based on barbed congruence,... -
Interpreting Functions as pi-calculus Processes: a Tutorial
This paper is concerned with the relationship between lambda-calculus and pi-calculus. The lambda-calculus talks about \emph{functions} and their\emph{applicative}... -
Implicit Polymorphic Type System for the Blue Calculus
The Blue Calculus is a direct extension of both the lambda and the pi calculi. In a preliminary work from Gérard Boudol, a simple type system was given that... -
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
