Mobile Calculi based on Domains

A Calculus of Kells

J.B. Stefani


This paper introduces the Kell calculus, a new process calculus that retains the original insights of the M-calculus (local actions, higher-order processes and programmable membranes) in a much simpler setting. The calculus is shown expressive enough to provide a direct encoding of several recent distributed process calculi such as Mobile Ambients and the Distributed Join calculus.

  author = \{J.B. Stefani},
  title = \{A Calculus of Kells},
  journal = \{ENTCS},
  year = \{2003}, 
  volume = \{85}, 
  number = \{1}, 
  url = \{}

About this site. Last modified: Wed Sep 20 22:01:34 CEST 2017