Controlling Interference in Ambients

Controlling Interference in Ambients (2000)

Cached

Download Links

by Francesca Levi , Davide Sangiorgi

Citations:

BibTeX

@MISC{Levi00controllinginterference,
    author = {Francesca Levi and Davide Sangiorgi},
    title = {Controlling Interference in Ambients },
    year = {2000}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

2970	Communication and Concurrency - Milner - 1989
933	A calculus of mobile processes - Milner, Parrow, et al. - 1992
725	Mobile ambients - Gordon, Cardelli - 1998
288	Subtyping recursive types - Amadio, Cardelli
267	The Polyadic ?-calculus: A Tutorial - Milner - 1993
229	Typing and subtyping for mobile processes - Pierce, Sangiorgi - 1996
192	D.: Barbed bisimulation - Milner, Sangiorgi - 1992
188	Type systems - Cardelli - 1997
142	Types for Mobile Ambients - Cardelli, Gordon - 1999
127	Syntactic Control of Interference - Reynolds - 1978
119	Linearity and the Pi-Calculus - Kobayashi, Pierce, et al. - 1999
87	Seal: A framework for secure mobile computations - Vitek, Castagna - 1998
75	A typed language for distributed mobile processes (extended abstract - Riely, Hennessy - 1998
59	Global/local subtyping and capability inference for a distributed pi-calculus - Sewell - 1998
56	A non-interleaving semantics for CCS based on proved transitions - Boudol, Castellani - 1988
56	Equational properties of mobile ambients - Gordon, Cardelli
53	The name discipline of uniform receptiveness - Sangiorgi - 1999
45	Secure safe ambients - Bugliesi, Castagna - 2001
33	Validating firewalls in mobile ambients - Nielson, Nielson, et al. - 1999
17	Enhanced Operational Semantics for Concurrency - Priami - 1996
16	Safe Ambients: Control Flow Analysis and Security - Degano, Levi, et al. - 1961
14	Making ambients more robust - Guan, Yang, et al. - 2000
13	Security types for mobile safe ambients - Dezani-Ciancaglini, Salvo - 2000
10	On the expressiveness of pure mobile ambients - Zimmer
5	A calculus of mobile processes - Fournet, Gonthier, et al. - 1996
5	Validating in mobile ambients - Nielson, Nielson, et al. - 1999
2	Types for Seal Calculus. Master's thesis, Universita degli Studi di - Nardelli - 2000
1	Towards a programming language based on Safe Ambients - Valente - 2001