Massimo Merro, Vladimiro Sassone  Home/Search
Context Related
| cogs.susx.ac.uk/us...bsaconcur02.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: cogs.susx.ac.uk/users/vs/resea... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We provide a novel type system for Bugliesi et al.'s Boxed Ambients that combines value subtyping with mobility types. The former is based on read/write exchange types, the latter builds on the notion of ambient group. Mobility types allow to specify where an ambient is allowed to stay, closing existing expressiveness gaps in the literature at no additional complexity costs. Subtyping is aimed at achieving maximal generality on both communication and mobility types. We then introduce... (Update)
Cited by: More
Boxed Ambients with Communication Interfaces - Bonelli, Compagnoni.. (2004) (Correct)
M³: Mobility Types for Mobile Processes in.. - Coppo.. (2002) (Correct)
The M³ Paradigm - Types and Type Inference.. - Coppo.. (Correct)
Similar documents (at the sentence level):
6.0%: Typing and Subtyping Mobility in Boxed Ambients - Merro, Sassone (2002) (Correct)
Active bibliography (related documents): More All
0.1: Enforcing Security Policies via Types - Daniele Gorla Rosario (2003) (Correct)
0.1: Resource Access and Mobility Control with Dynamic Privileges.. - Gorla, Pugliese (2003) (Correct)
0.1: Guardians for Ambient-Based Monitoring - Ferrari, Moggi, Pugliese (2002) (Correct)
Similar documents based on text: More All
0.9: Communication Interference in Mobile Boxed Ambients - Bugliesi, Crafa, Merro.. (2002) (Correct)
0.7: Communication and Mobility Control in Boxed Ambients - Bugliesi, Crafa, Merro.. (2003) (Correct)
0.3: Bisimulation Congruences in Safe Ambients - Merro, Hennessy (2001) (Correct)
Related documents from co-citation: More All
17: Mobile ambients - Cardelli, Gordon - 1998
15: Boxed ambients - Bugliesi, Castagna et al. - 2001
14: Controlling interference in ambients - Levi, Sangiorgi - 2000
BibTeX entry: (Update)
M. Merro and V. Sassone. Typing and subtyping mobility in boxed ambients. In L. Brim, P. Jancar, M. Kretnsky, and A. Kucera, editors, CONCUR'02, volume 2421 of LNCS, pages 304--320, Berlin, 2002. Springer-Verlag. http://citeseer.ist.psu.edu/merro02typing.html More
@misc{ merro02typing,
author = "M. Merro and V. Sassone",
title = "Typing and subtyping mobility in boxed ambients",
text = "M. Merro and V. Sassone. Typing and subtyping mobility in boxed ambients.
In L. Brim, P. Jancar, M. Kretnsky, and A. Kucera, editors, CONCUR'02, volume
2421 of LNCS, pages 304--320, Berlin, 2002. Springer-Verlag.",
year = "2002",
url = "citeseer.ist.psu.edu/merro02typing.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
854 Information and Computation (context) - Milner, Parrow et al. - 1992
146 Typing and subtyping for mobile processes - Pierce, Sangiorgi - 1996
144 Controlling interference in ambients - Levi, Sangiorgi - 2000
126 Types for mobile ambients - Cardelli, Gordon - 1999
117 Klaim: A kernel language for agents interaction and mobility - De Nicola, Ferrari et al. - 1998
109 Theoretical Computer Science (context) - Cardelli, Gordon - 1998
94 Seal: A framework for secure mobile computations - Vitek, Castagna - 1999
82 anywhere: Modal logics for mobile ambients (context) - Cardelli, Gordon - 2000
72 Ambient groups and mobility types - Cardelli, Ghelli et al. - 2000
69 Boxed ambients - Bugliesi, Castagna et al. - 2001
58 Bisimulation congruences in safe ambients - Merro, Hennessy - 2002
57 Subtyping and locality in distributed higher order processes - Yoshida, Hennessy - 1999
42 A query language based on the ambient logic - Cardelli, Ghelli - 2001
36 Assigning types to processes - Yoshida, Hennessy - 2000
26 Subtyping and typing algorithms for mobile ambients - Zimmer - 2000
23 Process algebras with localities (context) - Castellani - 2001
22 Reasoning about security in mobile ambients - Bugliesi, Castagna et al. - 2001
21 Typing mobility in the seal calculus - Ghelli, Castagna et al. - 2001
18 Information Processing Letters - Yang, Guan et al. - 2001
17 Wide area computation (context) - Cardelli - 1999
http://www.cogs.susx.ac.uk/reports
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cogs.susx.ac.uk/users/vs/research/paps/): More
A Type Inference Algorithm for Secure Ambients - Barbanera.. (2002) (Correct)
A Calculus of Mobile Resources - Godskesen, Hildebrandt, Sassone (2002) (Correct)
High-Level Petri Nets as Type Theories in the Join Calculus - Buscemi, Sassone (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