Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli C.N.R.S.,...  Home/Search
Context Related
Links: ACM DBLP | di.ens.fr/pub/users/za...concur01.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: di.ens.fr/~zappa/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The issue of this work is how to type mobility, in the sense that we tackle the problem of typing not only mobile agents but also their movement. This yields higher-order types for agents. To that end we first provide a new definition of the Seal Calculus that gets rid of existing inessential features while preserving the distinctive characteristics of the Seal model. Then we discuss the use of interfaces to type agents and define the type system. This type system induces a new interpretation... (Update)
Cited by: More
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2005) (Correct)
Typing and Subtyping Mobility in Boxed Ambients - Merro, Sassone (2002) (Correct)
Resources Negotiation in Systems of Mobile Components - Ferrari, Tuosto (2004) (Correct)
Similar documents (at the sentence level):
51.0%: Typing mobility in the Seal Calculus - Giuseppe Castagna Giorgio (2001) (Correct)
Active bibliography (related documents): More All
0.1: Reasoning about Security in Mobile Ambients - Bugliesi, Castagna, Crafa (2001) (Correct)
0.1: Boxed Ambients - Bugliesi, Castagna, Crafa (2001) (Correct)
0.1: Mobile Objects as Mobile Processes - Merro, Kleist, Nestmann (2001) (Correct)
Similar documents based on text: More All
0.8: Types for Seal Calculus - Nardelli (Correct)
0.7: The Seal Calculus Revisited: contextual equivalence and.. - Castagna, Nardelli (2003) (Correct)
0.6: Commitment and confinement for the Seal calculus - Castagna, Vitek (Correct)
Related documents from co-citation: More All
19: Controlling interference in ambients - Levi, Sangiorgi - 2000
15: Reasoning about security in mobile ambients - Bugliesi, Castagna et al. - 2001
14: Boxed ambients - Bugliesi, Castagna et al. - 2001
BibTeX entry: (Update)
Giuseppe Castagna, Giorgio Ghelli, and Francesco Zappa Nardelli. Typing mobility in the seal calculus. In Concur 2001, number 2154 in Lecture Notes in Computer Science, pages 82--101. Springer, 2001. http://citeseer.ist.psu.edu/article/castagna01typing.html More
@article{ castagna01typing,
author = "Giuseppe Castagna and Giorgio Ghelli and Francesco Zappa Nardelli",
title = "Typing Mobility in the {Seal Calculus}",
journal = "Lecture Notes in Computer Science",
volume = "2154",
pages = "82--101",
year = "2001",
url = "citeseer.ist.psu.edu/article/castagna01typing.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
410 Mobile ambients - Cardelli, Gordon - 1998
238 Pizza into Java: Translating theory into practice - Odersky, Wadler - 1997
167 Resource access control in systems of mobile agents - Hennessy, Riely - 2000
144 Controlling interference in Ambients - Levi, Sangiorgi - 2000
137 Laboratory for Foundations of Computer Science (context) - Milner, -calculus et al.
126 Types for mobile ambients - Cardelli, Gordon - 1999
116 Mathematical Structures in Computer Science (context) - Pierce, Sangiorgi et al. - 1996
94 Seal: A framework for secure mobile computations - Vitek, Castagna - 1999 DBLP
88 Mobility types for mobile ambients - Cardelli, Ghelli et al. - 1999 ACM DBLP
72 Ambient groups and mobility types - Cardelli, Ghelli et al. - 2000
61 The Fusion Calculus: Expressiveness and symmetry in mobile p.. - Parrow, Victor - 1998 DBLP
59 The name discipline of uniform receptiveness - Sangiorgi - 1999 ACM DBLP
53 Secure safe ambients - Bugliesi, Castagna - 2001 ACM DBLP
39 Secure composition of insecure components - Sewell, Vitek - 1999 ACM DBLP
36 Assigning types to processes - Yoshida, Hennessy - 2000 ACM DBLP
14 Designing JavaSeal: or how to make Java safe for agents (context) - Vitek, Bryce et al. - 1998
9 Autonomous Agents and Multi-Agent Systems - Bryce, Vitek et al. - 2002 ACM
9 calculus and applications to distributed objects (context) - Merro, the - 2000
1 The receptive distributed #-calculus (context) - Amadio, Boudol et al. - 1999
1 Universita degli Studi di Pisa (context) - Nardelli, Seal et al. - 2000
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.di.ens.fr/~zappa/): More
Types for Seal Calculus - Nardelli (Correct)
Bisimulation Proof Methods for Mobile Ambients - Merro, Nardelli (2003) (Correct)
Behavioural Theory for Mobile Ambients - Merro, Nardelli (2004) (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