A Calculus of Kells

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: Thu Feb 22 22:01:11 CET 2018