Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli C.N.R.S.,...  Home/Search
Context Related
Links: ACM DBLP | ens.fr/pub/dmi/users...sealtypes.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: ens.fr/~castagna/pub.frametop (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... (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):
66.7%: Typing mobility in the Seal Calculus - Giuseppe Castagna Giorgio (2001) (Correct)
Active bibliography (related documents): More All
0.1: Boxed Ambients - Bugliesi, Castagna, Crafa (2001) (Correct)
0.1: Reasoning about Security in Mobile Ambients - Bugliesi, Castagna, Crafa (2001) (Correct)
0.1: Distributed and Multi-Type Resource - Management Luc Moreau (Correct)
Similar documents based on text: More All
0.7: The Seal Calculus Revisited: contextual equivalence and.. - Castagna, Nardelli (2003) (Correct)
0.5: Visible Watermarking using Verifiable Digital Seal Image - Park, Kim (2001) (Correct)
0.4: Types for Seal Calculus - Nardelli (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/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/castagna01typing.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
410 Mobile ambients - Cardelli, Gordon - 1998 ACM DBLP
144 Controlling interference in ambients - Levi, Sangiorgi - 2000
126 Types for mobile ambients - Cardelli, Gordon - 1999 ACM DBLP
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 ACM DBLP
61 The Fusion Calculus: Expressiveness and symmetry in mobile p.. - Parrow, Victor - 1998
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 MultiAgent Systems - Bryce, Vitek et al. - 2002 ACM
1 Locality in the -calculus and applications to distributed ob.. (context) - Merro - 2000
1 Ressource access conrol in systems of mobile agents (context) - Hennessy, Riely - 2000
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ens.fr/~castagna/pub.frametop.html): More
Dependent Types With Subtyping and Late-Bound Overloading - Castagna (1999) (Correct)
Dependent Types With Subtyping and Late-Bound Overloading - Castagna (1999) (Correct)
Mobile Objects - Bugliesi, Castagna (2000) (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