HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

A Calculus of Higher-Order Distributed Components

Jean-Bernard Stefani 1
1 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 calculus for higher-order distributed components, the Kell calculus. The calculus can be understood as a direct extension of the higher-order -calculus with programmable locations. The report illustrates the expressive power of the Kell calculus by encoding several process calculi with explicit locations, including Mobile Ambients, the Distributed Join calculus and the . The latter encoding demonstrates that the Kell calculus retains the expressive power of the but in a much simpler setting.
Document type :
Complete list of metadata

Cited literature [31 references]  Display  Hide  Download

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Tuesday, May 23, 2006 - 7:10:55 PM
Last modification on : Friday, February 4, 2022 - 3:22:34 AM
Long-term archiving on: : Sunday, April 4, 2010 - 10:43:13 PM


  • HAL Id : inria-00071894, version 1



Jean-Bernard Stefani. A Calculus of Higher-Order Distributed Components. RR-4692, INRIA. 2003. ⟨inria-00071894⟩



Record views


Files downloads