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
Complete list of metadatas

Cited literature [29 references]  Display  Hide  Download

https://hal.inria.fr/inria-00072227
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 8:10:00 PM
Last modification on : Wednesday, February 20, 2019 - 2:32:07 PM
Long-term archiving on : Sunday, April 4, 2010 - 8:48:22 PM

Identifiers

  • HAL Id : inria-00072227, version 1

Collections

Citation

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

Share

Metrics

Record views

212

Files downloads

314