Mobile Calculi based on Domains

A Calculus of Higher-Order Distributd Components

J.B. Stefani


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 $pi$-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 {mcalc}. The latter encoding demonstrates that the Kell calculus retains the expressive power of the {mcalc} but in a much simpler setting.

  author = \{J.B. Stefani},
  title = \{A Calculus of Higher-Order Distributd Components},
  institution = \{INRIA},
  year = \{2003}, 
  number = \{RR-4692}, 
  url = \{}

About this site. Last modified: Tue Jun 19 17:58:49 CEST 2018