The M-calculus: a Higher-Order Distributed Process Calculus - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2002

The M-calculus: a Higher-Order Distributed Process Calculus


This report presents a new distributed process calculus, called the -calculus. Key insights for the calculus are similar to those laid out by L. Cardelli for its calculus of ambients. Mobile Ambients and other recent distributed process calculi such as the Join calculus or the D-calculus introduce notions of distributed locations or localities, corresponding to a spatial partitioning of computations and embodying different features of distributed computations (e.g. failures, access control, process migration, etc). However these calculi remain unsatisfactory in that they account for a single predefined behavior associated with a locality: in a large distributed system, localities may be of different types and exhibit a wide range of behaviors. This report tries to remedy to this limitation in defining a distributed programming model that allows the explicit programming of locality behavior. More precisely, the -calculus can be understood as a generalization of the Join calculus and of G. Boudol's blue calculus that provides: distributed localities with programmable behavior (cells), higher-order processes, process mobility, and dynamic binding features.
Fichier principal
Vignette du fichier
RR-4361.pdf (297.9 Ko) Télécharger le fichier

Dates and versions

inria-00072227 , version 1 (23-05-2006)


  • HAL Id : inria-00072227 , version 1


Alan Schmitt, Jean-Bernard Stefani. The M-calculus: a Higher-Order Distributed Process Calculus. [Research Report] RR-4361, INRIA. 2002. ⟨inria-00072227⟩
127 View
236 Download


Gmail Facebook X LinkedIn More