Witold Charatonik, Andrew D. Gordon, and Jean-Marc Talbot...  Home/Search
Context Related
| mpisb.mpg.de/~witold/...fincontrol.pdf 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: mpisb.mpg.de/~witold/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We define a finite-control fragment of the ambient calculus, a formalism for describing distributed and mobile computations. A series of examples demonstrates the expressiveness of our fragment. In particular, we encode the choice-free, finite-control, synchronous #-calculus. We present an algorithm for model checking this fragment against the ambient logic (without composition adjunct). This is the first proposal of a model checking algorithm for ambients to deal with... (Update)
Cited by: More
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (Correct)
A Parametric Model for the Analysis of Mobile Ambients - Distefano (2005) (Correct)
A Calculus of Bounded Capacities - Barbanera, Bugliesi.. (2003) (Correct)
Active bibliography (related documents): More All
0.5: The Decidability of Model Checking Mobile Ambients - Charatonik, Talbot (2001) (Correct)
0.2: Complexity of Nesting Analysis in Mobile Ambients - Braghin, Cortesi, Focardi.. (Correct)
0.1: The Complexity of Model Checking Mobile Ambients - Charatonik, Zilio, Gordon.. (2000) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.4: Atomic Set Constraints with Projection - Witold Charatonik And (2002) (Correct)
0.3: Set Constraints with Intersection - Charatonik, Podelski (Correct)
0.2: Equational Properties of Mobile Ambients - Gordon (2001) (Correct)
Related documents from co-citation: More All
23: Controlling interference in ambients - Levi, Sangiorgi - 2000
21: Using Ambients to control resources - Teller, Zimmer et al. - 2002
17: Mobile ambients - Cardelli, Gordon - 1998
BibTeX entry: (Update)
W. Charatonik, A. Gordon and J.-M. Talbot. Finite-Control Mobile Ambients. ESOP'02, LNCS . Springer-Verlag, 2002. http://citeseer.ist.psu.edu/608212.html More
@inproceedings{ charatonik02finitecontrol,
author = "Witold Charatonik and Andrew D. Gordon and Jean-Marc Talbot",
title = "Finite-Control Mobile Ambients",
booktitle = "European Symposium on Programming",
pages = "295-313",
year = "2002",
url = "citeseer.ist.psu.edu/608212.html" }
Citations (may not include all citations):178 Communicating and Mobile Systems: the #-Calculus (context) - Milner - 1999
144 Controlling interference in ambients - Levi, Sangiorgi - 2000
126 Types for mobile ambients - Cardelli, Gordon - 1999
109 Theoretical Computer Science (context) - Cardelli, Gordon - 2000
82 anywhere: Modal logics for mobile ambients (context) - Cardelli, Gordon - 2000
53 Secure safe ambients - Bugliesi, Castagna - 2001
49 Model checking mobile processes - Dam - 1996
47 Equational properties of mobile ambients - Cardelli, Gordon - 1999
47 Logical properties of name restriction (context) - Cardelli, Gordon - 2001
39 Abstract interpretation of mobile ambients (context) - Hansen, Jensen et al. - 1999
39 Types as models: Model checking message-passing programs - Chaki, Rajamani et al. - 2002
35 Extensionality and intensionality of the ambient logics - Sangiorgi - 2001
34 Validating firewalls in mobile ambients - Nielson, Nielson et al. - 1999
20 The decidability of model checking mobile ambients - Charatonik, Talbot - 2001
11 The complexity of model checking mobile ambients - Charatonik, Zilio et al. - 2001
2 Modal logics for mobile ambients: Semantic reasoning (context) - Cardelli, Gordon - 1999
1 the decidability of fragments of the asynchronous pi-calculu.. (context) - Amadio, Meyssonnier - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.mpi-sb.mpg.de/~witold/): More
Solving Set Constraints for Greatest Models - Charatonik, Podelski (1997) (Correct)
Set-based Error Diagnosis of Concurrent Constraint Programs - Podelski, Charatonik, Müller (1997) (Correct)
The Independence Property of a Class of Set Constraints - Charatonik, Podelski (1996) (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