Jens Chr. Godskesen, Thomas Hildebrandt, and Vladimiro Sassone IT...  Home/Search
Context Related
| informatics.sussex....mrconcur02.ps.gz 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: informatics.sussex.ac.uk/users... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We introduce a calculus of Mobile Resources (MR) tailored for the design and analysis of systems containing mobile, possibly nested, computing devices that may have resource and access constraints, and which are not copyable nor modifiable per se. We provide a reduction as well as a labelled transition semantics and prove a correspondence between barbed bisimulation congruence and a higher-order bisimulation. We provide examples of the expressiveness of the calculus, and apply the theory... (Update)
Cited by: More
A Calculus of Mobile Resources - Jens Chr Godskesen (2002) (Correct)
Domain-Specific Languages in Software Development - and the.. - Christensen (2003) (Correct)
Similar documents (at the sentence level):
5.8%: Jens Christian Godskesen (jcg@it.edu) - Thomas Hildebrandt Hilde (2002) (Correct)
Active bibliography (related documents): More All
0.5: Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (Correct)
0.3: Resource Access and Mobility Control with Dynamic Privileges.. - Gorla, Pugliese (2003) (Correct)
0.1: Communication and Mobility Control in Boxed Ambients - Bugliesi, Crafa, Merro.. (2003) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.4: Bisimulation Congruences for Homer - a calculus of.. - Hildebrandt.. (2004) (Correct)
0.3: BRICS Research Series, 1997 - Brics (1999) (Correct)
0.3: Transition Systems with Independence and Multi-Arcs - Hildebrandt, Sassone (1997) (Correct)
BibTeX entry: (Update)
Jens Christian Godskesen, Thomas Hildebrandt, and Vladimiro Sassone. A calculus of mobile resources. In Lubos Brim, Petr Jancar, Mojm ir Kretinsky, and Anton in Kucera, editors, CONCUR 2002: Concurrency Theory (13th International Conference, Brno, Czech Republic), volume 2421 of LNCS, pages 272--287. Springer, August 2002. http://citeseer.ist.psu.edu/article/godskesen02calculus.html More
@misc{ godskesen02calculus,
author = "J. Godskesen and T. Hildebrandt and V. Sassone",
title = "A calculus of mobile resources",
text = "Jens Christian Godskesen, Thomas Hildebrandt, and Vladimiro Sassone. A
calculus of mobile resources. In Lubos Brim, Petr Jancar, Mojm ir Kretinsky,
and Anton in Kucera, editors, CONCUR 2002: Concurrency Theory (13th International
Conference, Brno, Czech Republic), volume 2421 of LNCS, pages 272--287.
Springer, August 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/article/godskesen02calculus.html" }
Citations (may not include all citations):291 A calculus of mobile agents - Fournet, Gonthier et al. - 1996
167 Resource access control in systems of mobile agents - Hennessy, Riely - 1998
144 Controlling interference in ambients - Levi, Sangiorgi
126 Types for mobile ambients - Cardelli, Gordon - 1999
94 Seal: A framework for secure mobile computations - Vitek, Castagna - 1999
82 anywhere: Modal logics for mobile ambients (context) - Cardelli, Gordon
72 Ambient groups and mobility types - Cardelli, Ghelli et al. - 2000
58 Bisimulation congruences in safe ambients - Merro, Hennessy - 2002
50 From rewrite rules to bisimulation congruences - Sewell - 1998
45 A theory of weak bisimulation for core CML - Ferreira, Hennessy et al. - 1998
42 Globallocal subtyping and capability inference distributed p.. - Global, subtyping et al.
42 Deriving bisimulation congruences for reactive systems - Leifer, Milner - 2000
41 i and Cedric Fournet. Mobile values, new names, and secure c.. (context) - Abad - 2001
34 Bisimulation for Higher-Order Process Calculi - Sangiorgi - 1996
28 Mobile ambients (context) - Cardelli, Gordon - 1998
22 The pi-calculus: a Theory of Mobile Processes (context) - Sangiorgi, Walker - 2001
19 Communicating and Mobile Systems: the p-Calculus (context) - Milner - 1999
19 Smart Card Application Development Using Java (context) - Hansmann, Nicklous et al.
19 A hierarchy of equivalences for asynchronous calculi (context) - Fournet, Gonthier
13 and Silvia Crafa (context) - Bugliesi, Castagna - 2001
3 Languages and Programming (context) - Larsen, Skyum et al. - 1998
2 A calculus of mobile resources - Chr, Thomas et al. - 2002
Documents on the same site (http://www.informatics.sussex.ac.uk/users/vs/research/): More
A Calculus for Trust Management - Carbone, Nielsen, Sassone (Correct)
Jeeg: A Programming Language for Concurrent Objects.. - Milicia, Sassone (2002) (Correct)
Algebraic Theories for Contextual Pre-Nets - Bruni, Meseguer, Montanari.. (2001) (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