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: Fri Mar 29 06:48:56 CET 2024