Philippe Bidinger, Jean-Bernard Stefani  Home/Search
Context
Related
| sardes.inrialpes.f...idingerFMOODS.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: sardes.inrialpe...nfsardes.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents the Kell calculus, a new distributed process calculus that retains the original insights of the Seal calculus (local actions, process replication) and of the M-calculus (higherorder processes and programmable membranes), although in a much simpler setting than the latter. The calculus is equipped with a type system that enforces a unicity property for location names that is crucial for the efficient implementation of the calculus. 1 (Update)
Active bibliography (related documents): More All
0.4: Ambient Calculi with Types: a Tutorial - Giovannetti (2003) (Correct)
0.4: A Calculus of Kells - Jean-Bernard Stefani Inria (2003) (Correct)
0.3: The M-calculus: A Higher-Order Distributed Process Calculus - Schmitt, Stefani (2003) (Correct)
Similar documents based on text: More All
1.5: The Kell calculus: operational semantics and type system - Bidinger, Stefani (Correct)
0.7: Communication Interference in Mobile Boxed Ambients - Bugliesi, Crafa, Merro.. (2002) (Correct)
0.2: Boxed Ambients with Communication Interfaces - Bonelli, Compagnoni.. (2004) (Correct)
BibTeX entry: (Update)
@misc{ bidinger-kell,
author = "Philippe Bidinger and Jean-Bernard Stefani",
title = "The Kell calculus: operational semantics and type system",
url = "citeseer.ist.psu.edu/678406.html" }
Citations (may not include all citations):410 Mobile ambients - Cardelli, Gordon - 1998
254 Theoretical Computer Science (context) - Berry, Boudol et al. - 1992
178 Communicating and mobile systems : the -calculus (context) - Milner - 1999
167 Resource access control in systems of mobile agents - Hennessy, Riely - 1998
144 Controlling interference in ambients - Levi, Sangiorgi - 2000
126 Types for mobile ambients - Cardelli - 1999
115 An asynchronous model of locality (context) - Amadio - 1997
69 Boxed ambients - Bugliesi, Castagna et al. - 2001
58 Bisimulation congruences in safe ambients - Merro, Hennessy - 2002
45 Communication Interference in Mobile Boxed Ambients - Bugliesi, Crafa et al. - 2002
41 Using Ambients to Control Resources - Teller, Zimmer et al. - 2002
36 Assigning types to processes - Yoshida, Hennessy - 2000
35 calculus: A Higher-Order Distributed Process Calculus (context) - Schmitt, Stefani - 2003
31 Towards a calculus of secure mobile computations - Vitek, Castagna - 1998
28 Mobility types for mobile processes in mobile ambients (context) - Coppo, Dezani-Ciancaglini et al. - 2003
24 A Distributed Abstract Machine for Safe Ambients (context) - Sangiorgi, Valente - 2001
16 An asynchronous distributed implementation of mobile ambient.. - Fournet, Levy et al. - 2000
10 The Seal Calculus Revisited (context) - Castagna, Zappa - 2002
9 Nomadic Pict: Language and Infrastructure (context) - Wojciechowski, Sewell - 2000
4 MetaKlaim: A Type-Safe Multi-Stage Language for Global Compu.. - Ferrari, Moggi et al. - 2003
3 A Calculus of Kells - Stefani - 2003
Documents on the same site (http://sardes.inrialpes.fr/papers/conf-sardes.shtml): More
An Architectural Approach to Replication Configuration - Marangozova, Hagimont (Correct)
Efficient Java Thread Serialization - Sara Bouchenak Swiss (Correct)
Protection in Flexible Operating System Architectures - Rippert (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC