A Calculus of Kells (2003) [9 citations — 3 self]
Download:
by Jean-bernard Stefani
In Proceedings 2nd International Workshop on Foundations of Global Computing
http://sardes.inrialpes.fr/papers/files/03-Stefani-FGC.pdf
Add To MetaCart
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. 1
Citations
| 663 | Mobile ambients – Cardelli, Gordon |
| 413 | The chemical abstract machine – Berry, Boudol - 1990 |
| 278 | A calculus of mobile agents – Fournet, Gonthier, et al. - 1996 |
| 123 | An asynchronous model of locality, failure, and process mobility – Amadio - 1997 |
| 78 | Boxed ambients – Bugliesi, Castagna, et al. - 2001 |
| 45 | An asynchronous, distributed implementation of mobile ambients – Fournet, Lévy, et al. - 2000 |
| 43 | Communication interference in mobile boxed ambients – Bugliesi, Crafa, et al. - 2002 |
| 28 | M3: Mobility types for mobile processes in mobile ambients – Coppo, Dezani-Ciancaglini, et al. - 2003 |
