M3 mobility types for mobile processes in mobile ambients

Electronic Notes in Theoretical Computer Science

Volumn 78, Issue , 2003, Pages 144-177

  Coppo, Mario ^a   Dezani Ciancaglini, Mariangiola ^a   Giovannetti, Elio ^a   Salvo, Ivano ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS; SECURITY OF DATA; TREES (MATHEMATICS);

CALCULUS; MOBILE AMBIENTS; MOBILE PROCESSES; MOBILITY PROPERTIES;

MOBILE COMPUTING;

EID: 1942448777     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)81011-9     Document Type: Conference Paper

References (13)

1. Amtoft T., Kfoury A.J., Pericas-Geertsen S.M. What are polymorphically-typed ambients? Sands D. ESOP'01, volume 2028 of LNCS. 2001;206-220 Springer-Verlag, Berlin
2. Bughliesi M., Castagna G. Secure safe ambients. POPL'01. 2001;222-235 ACM Press, New York
3. Bugliesi M., Castagna G., Crafa S. Boxed ambients. Pierce B. TACS'01, volume 2215 of LNCS. 2001;38-63 Springer-Verlag
4. Cardelli L., Ghelli G., Gordon A.D. Mobility types for mobile ambients. Wiederman J., van Boas P., Nielsen M. ICALP'99, volume 1644 of LNCS. 1999;230-239 Springer-Verlag, Berlin
5. Cardelli L., Gordon A.D. Mobile ambients. Nivat M. FoSSaCS'98, volume 1378 of LNCS. 1998;140-155 Springer-Verlag, Berlin
6. Dezani-Ciancaglini M., Salve I. Security types for safe mobile ambients. Jifeng H., Sato M. ASIAN'00, volume 1961 of LNCS. 2000;215-236 Springer-Verlag, Berlin
7. Hennessy M., Riely J. Resource access control in systems of mobile agents (extended abstract). Nestmann U., Pierce B. HLCL'98, volume 16(3) of ENTCS. 1998;Elsevier Science B. V, Amsterdam
8. Levi F., Sangiorgi D. Controlling interference in ambients. In POPL'00. 2000;352-364 ACM Press, New York
9. Merro M., Sassone V. Typing and subtyping monility in boxed ambients. Brim L., Jančar P., Křetínsky̌ M., Kučera A. CONCUR'02, volume 2421 of LNCS. 2002;304-320 Springer-Verlag, Berlin
10. Milner R. The Plyadic π-calculus: A tutorial. Bauer F.L., Brauer W., Schwichtenber H. Logic and algebra of Specification, volume 94 of NATO ASI Series F: Computer and systems Sciences. 1993;203-246 Springer-Verlag, Berlin
11. Milner R., Parrow J., Walker D. A calculus of mobile processes, parts 1-2. Information and Computation. 100:(1):1992;1-77
12. Pierce B., Sangiorgi D. Typing and subtyping for mobile processes. Journal of Mathematical Structures in Computer Science. 6:(5):1996;409-454
13. Wells J. The essence of principal typings. Widmayer P., Trigurero F., Morales R., Hennessy M., Eidenbez S., Conejo R. ICALP'02, volume 2380 of LNCS. 2002;913-925 Springer-Verlag, Berlin