Skip to Main content Skip to Navigation
New interface
Reports (Research report)

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

Alan Schmitt 1 Jean-Bernard Stefani 2 
2 SARDES - System architecture for reflective distributed computing environments
Inria Grenoble - Rhône-Alpes, CNRS - Centre National de la Recherche Scientifique : FR71
Abstract : 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.
Document type :
Reports (Research report)
Complete list of metadata

Cited literature [29 references]  Display  Hide  Download
Contributor : Rapport De Recherche Inria Connect in order to contact the contributor
Submitted on : Tuesday, May 23, 2006 - 8:10:00 PM
Last modification on : Wednesday, October 26, 2022 - 8:16:14 AM
Long-term archiving on: : Sunday, April 4, 2010 - 8:48:22 PM


  • 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⟩



Record views


Files downloads