A Calculus of Higher-Order Distributed Components - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2003

A Calculus of Higher-Order Distributed Components

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.
Fichier principal
Vignette du fichier
RR-4692.pdf (464.43 Ko) Télécharger le fichier
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00071894 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More