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: Wed Mar 4 17:45:52 CET 2020