Mobile Calculi based on Domains


A Calculus of Kells

J.B. Stefani

Abstract

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.

@Article\{stefani:calculus-kells,
  author = \{J.B. Stefani},
  title = \{A Calculus of Kells},
  journal = \{ENTCS},
  year = \{2003}, 
  volume = \{85}, 
  number = \{1}, 
  url = \{http://mikado.di.fc.ul.pt/repository/stefani_calculus-kells.ps}
}


About this site. Last modified: Wed Nov 22 08:36:49 CET 2017