Cedric Lhoussaine, Vladimiro Sassone  Home/Search
Context Related
| mikado.di.fc.ul.pt...bientcalculus.pdf 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: mikado.di.fc.ul.pt/o...papers.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to enforce elementary access control policies, expressed indirectly via classification of ambients in groups by means of `group types.' The paper presents a theory of dependent types for the Ambient calculus which allows greater flexibility, while keeping the complexity away from the programmer into the type system. (Update)
Cited by: More
Boxed Ambients with Communication Interfaces - Bonelli, Compagnoni.. (2004) (Correct)
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2004) (Correct)
The M³ Paradigm - Types and Type Inference.. - Coppo.. (Correct)
Active bibliography (related documents): More All
1.4: A Dependently Typed Ambient Calculus - Lhoussaine, Sassone (2003) (Correct)
0.9: Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
0.3: On the Computational Strength of Pure Ambient Calculi - Maffeis, Phillips (2003) (Correct)
Similar documents based on text: More All
0.3: Typing and Subtyping Mobility in Boxed Ambients - Merro, Sassone (2002) (Correct)
0.2: Ambient Groups and Mobility Types - Cardelli, Ghelli, Gordon (1999) (Correct)
0.2: A Type Inference Algorithm for Secure Ambients - Barbanera.. (2002) (Correct)
Related documents from co-citation: More All
9: Mobility types for mobile ambients - Cardelli, Ghelli et al. - 1999
6: Resource access control in systems of mobile agents - Hennessy, Riely - 1998
5: Ambient groups and mobility types - Cardelli, Ghelli et al. - 1999
BibTeX entry: (Update)
C. Lhoussaine and V. Sassone. A dependently typed ambient calculus. In Proceedings of ESOP'03, LNCS. Springer-Verlag, 2003. http://citeseer.ist.psu.edu/lhoussaine03dependently.html More
@misc{ lhoussaine03dependently,
author = "C. Lhoussaine and V. Sassone",
title = "A dependently typed ambient calculus",
text = "C. Lhoussaine and V. Sassone. A dependently typed ambient calculus. In
Proceedings of ESOP'03, LNCS. Springer-Verlag, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/lhoussaine03dependently.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
410 Mobile ambients - Cardelli, Gordon - 1998
390 A calculus of bounded capacities - Barbanera, Bugliesi et al. - 2003
144 Controlling interference in Ambients - Levi, Sangiorgi - 2000
126 Types for mobile ambients - Cardelli, Gordon - 1999
72 Ambient groups and mobility types - Cardelli, Ghelli et al. - 2000
69 Boxed ambients - Bugliesi, Castagna et al. - 2001
62 Modal logics for mobile ambients (context) - Cardelli, Gordon et al. - 2000
58 Bisimulation Congruences in Safe Ambients - Merro, Hennessy - 2002
46 Secrecy and group creation - Cardelli, Ghelli et al. - 2000
45 Communication interference in mobile boxed ambients - Bugliesi, Crafa et al. - 2002
41 Using ambients to control resources - Teller, Zimmer et al. - 2002
38 Deciding validity in a spatial logic for trees - Calcagno, Cardelli et al. - 2003
37 A spatial logic for querying graphs - Cardelli, Gardner et al. - 2003
36 Assigning types to processes - Yoshida, Hennessy - 2000
35 Extensionality and intensionality of the ambient logic - Sangiorgi - 2001
32 Towards a behavioural theory of access and mobility control .. (context) - Hennessy, Merro et al. - 2003
30 Safe ambients: Control flow analysis and security - Degano, Levi et al. - 1961
30 Finite-control mobile ambients - Charatonik, Gordon et al. - 2002
28 Mobility types for mobile processes in mobile ambients (context) - Coppo, Dezani-Ciancaglini et al. - 2003
24 Manipulating trees with hidden labels (context) - Cardelli, Gardner et al. - 2002
21 Typing and subtyping mobility in boxed ambients - Merro, Sassone - 2002
13 Bisimulation proof methods for mobile ambients - Merro, Zappa-Nardelli - 2003
12 calculus with applications to security (context) - Bodei, Degano et al. - 2001
11 Bioambients: An abstraction for biological compartments (context) - Regev, Panina et al. - 2003
7 and decidability in the ambient logic (context) - Hirschko, Lozes et al. - 2002
7 Mobile processes with dependent communication types and sing.. - Amtoft, Wells - 2002
6 Channel dependent types for higher-order mobile processes - Yoshida - 2004
4 Type inference for a distributed #-calculus (context) - Lhoussaine - 2003
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://mikado.di.fc.ul.pt/output/papers.php): More
Global Computing in a Dynamic Network of Tuple Spaces - De Nicola, Gorla, Pugliese (2005) (Correct)
Process Calculi and the Verification of Security Protocols - Boreale, Gorla (2002) (Correct)
Session Types for Inter-Process Communication - Gay, Vasconcelos, Ravara (2003) (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