Philippe Bidinger, Jean-Bernard Stefani  Home/Search
Context
Related
| mikado.di.fc.ul.pt...ekellcalculus.ps Cached: PS.gz PS 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.
Image Update HelpPS.gz PS PDF From: mikado.di.fc.ul.pt/o...papers.php (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 (higher-order 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. (Update)
Active bibliography (related documents): More All
0.2: A Calculus of Kells - Stefani (2003) (Correct)
0.1: The Kell calculus: operational semantics and type system - Bidinger, Stefani (Correct)
0.1: Formalisms for Mobile Resource Control - Teller (2003) (Correct)
Similar documents based on text: More All
0.1: Building secure embedded kernels with the Think architecture - Rippert, Stefani (Correct)
0.1: The M-calculus: A Higher-Order Distributed Process Calculus - Schmitt, Stefani (2003) (Correct)
0.1: Requirements for a Global Computing Programming Model - Stefani (2003) (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/727568.html" }
Citations (may not include all citations):410 Mobile ambients - Cardelli, Gordon - 1998
254 Theoretical Computer Science (context) - Berry, Boudol et al. - 1992
115 An asynchronous model of locality (context) - Amadio - 1997
69 Boxed ambients - Bugliesi, Castagna et al. - 2001
45 Communication Interference in Mobile Boxed Ambients - Bugliesi, Crafa et al. - 2002
18 Dezani-Ciancaglini (context) - Coppo
10 The Seal Calculus Revisited (context) - Castagna, Zappa - 2002
Documents on the same site (http://mikado.di.fc.ul.pt/output/papers.php): More
Global Computing in a Dynamic Network of Tuple Spaces - De Nicola, Gorla, Pugliese (2005) (Correct)
Process Calculi and the Verification of Security Protocols - Boreale, Gorla (2002) (Correct)
Session Types for Inter-Process Communication - Gay, Vasconcelos, Ravara (2003) (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