Orderly communication in the ambient calculus

Computer Languages

Volumn 28, Issue 1, 2002, Pages 29-60

  Amtoft, Torben ^a   Kfoury, Assaf J ^a   Pericas Geertsen, Santiago M ^a  

^a BOSTON UNIVERSITY   (United States)

Author keywords

Ambient Calculus; Concurrent and distributed programming; Formal calculi for mobility; Mobile computation; Orderly communication; Safety and security of mobile code; Type checking; Type inference; Type system

Indexed keywords

CODES (SYMBOLS); COMPUTATION THEORY; COMPUTER NETWORKS; DATA TRANSFER; SEMANTICS; COMPUTER SOFTWARE; FINITE AUTOMATA; SYSTEMS SCIENCE;

AMBIENT CALCULUS;

COMPUTER SCIENCE;

AMBIENT CALCULUS; CONCURRENT AND DISTRIBUTED PROGRAMMING; FORMAL CALCULI FOR MOBILITY; MOBILE COMPUTATIONS; ORDERLY COMMUNICATION; SAFETY AND SECURITY OF MOBILE CODE; TYPE CHECKING; TYPE INFERENCE; TYPE SYSTEM;

EID: 0036555710     PISSN: 00960551     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0096-0551(02)00007-3     Document Type: Article

References (23)

1. Cardelli L., Gordon A.D. Mobile ambients. In: Nivat M, (eds). FoSSaCS '98, Lecture Notes in Computer Science, vol. 1378, Berlin: Springer, 1998. p. 140-55.
2. Cardelli L., Gordon A.D. Types for mobile ambients. In: Montanari U., Sassone V., (eds). POPL '99, San Antonio, TX, New York: ACM Press, January 1999. p. 79-92.
3. Fournet C., Gonthier G., Levy J.-J., Maranget L., Remy D. A calculus of mobile agents. In: CONCUR 1996, Lecture Notes in Computer Science, vol. 1119. Berlin: Springer, 1996. p. 406-21.
4. Riely J., Hennessy M. A typed language for distributed mobile processes. In: POPL 1998. Berlin: ACM Press, 1998. p. 378-90.
5. Riely J., Hennessy M. Trust and partial typing in open systems of mobile agents. In: POPL'99, San Antonio, TX, New York: ACM Press, 1999. p. 93-104.
6. Sewell P., Vitek J. Secure composition of insecure components. In: 12th IEEE Computer Security Foundations Workshop (CSFW-12), Mordano, Italy, June 1999.
7. Vitek J., Castagna G. Seal: a framework for secure mobile computations. In: Bal HE, Belkhouche B, Cardelli L, (eds). Internet Programming Languages, Lecture Notes in Computer Science, vol. 1686. Berlin: Springer, 1999.
8. Cardelli L., Giorgio Ghelli, Gordon A.D. Mobility types for mobile ambients. In: Wiedermann J., van Emde Boas P., Nielsen M., editors. ICALP'99, Lecture Notes in Computer Science, vol. 1644. Berlin: Springer, July 1999. p. 230-9. Extended version appears as Microsoft Research Technical Report MSR-TR-99-32, 1999.
9. Cardelli L., Giorgio Ghelli, Gordon A.D. Mobility types for mobile ambients. In: Wiedermann J., van Emde Boas P., Nielsen M., editors. ICALP'99, Lecture Notes in Computer Science, vol. 1644. Berlin: Springer, July 1999. p. 230-9. Extended version appears as Microsoft Research Technical Report MSR-TR-99-32, 1999.
10. Cardelli L., Giorgio Ghelli, Gordon A.D. Ambient groups and mobility types. In: Leeuwen J van, Watanabe O, Hagiya M, Mosses P.D., Ito T., (eds). IFIP International Conference on Theoretical Computer Science (IFIP TCS2000), Tohoku University, Sendai, Japan, Lecture Notes in Computer Science, vol. 1872. Berlin: Springer, August 2000. p. 333-47.
11. Torben Amtoft. Causal type system for ambient movements. Submitted for publication, 2002.
12. Simon Gay and Malcolm Hole. Types and subtypes for client-server interactions. In: Swierstra S.D., (eds). Proceedings of the European Symposium on Programming, Lecture Notes in Computer Science, vol. 1576. Berlin: Springer, 1999. p. 74-90.
13. Torben Amtoft, Kfoury A.J., Pericas-Geertsen S.M. What are polymorphically-typed ambients? Technical Report BUCS-TR-2000-021, Computer Science Department, Boston University, December 2000.
14. Francesca Levi and Davide Sangiorgi. Controlling interference in ambients. In: POPL'00, Boston, MA, New York: ACM Press, January 2000. p. 352-64.
15. Michele Bugliesi and Giuseppe Castagna. Secure safe ambients. In: Conference Records POPL '01: 28th ACM Symposium on the Principles of Programming Languages, 2001. p. 222-35.
16. Dezani-Ciancaglini M., Salvo I. Security types for mobile safe ambients. In: He J., Sato M., (eds). ASIAN Computing Science Conference - ASIAN '00, Lecture Notes in Computer Science, vol. 1961. Berlin: Springer, 2000. p. 215-36.
17. Torben Amtoft, Kfoury A.J., Pericas-Geertsen S.M. What are polymorphically-typed ambients? In: Sands D, editor. ESOP 2001, Genova, Lecture Notes in Computer Science, vol. 2028. Berlin: Springer, April 2001. p. 206-20. (An extended version appears as [12]).
18. Guan X., Yang Y., You J. Typing evolving ambients. Information Processing Letters. 80(5):2001;265-270.
19. Cardelli L. Abstractions for mobile computation. Vitek J., Jensen C. Secure Internet Programming: Security Issues for Mobile and Distributed Objects. Lecture Notes in Computer Science. vol. 1603:1999;51-94 Springer, Berlin.
20. Pascal Zimmer. Subtyping and typing algorithms for mobile ambients. In: Tiuryn J, (eds). FOSSACS 2000, Berlin, Lecture Notes in Computer Science, vol. 1784. Berlin: Springer, 2000. p. 375-90.
21. Michele Bugliesi Pericas-Geertsen S.M. Depth subtyping and type inference for object calculi. In: Proceedings of the Seventh Workshop on Foundations of Object-Oriented Languages, Boston, MA, USA, 2000.
22. Kaku Takeuchi, Kohei Honda, and Makoto Kubo. An interaction-based language and its typing system. In: Halatsis C., Maritsas D., Philokypro G., Theodoridis S, editors. PARLE'94, Lecture Notes in Computer Science, vol. 817. Berlin: Springer, 1994. p. 398-413.
23. Kohei Honda, Vasco Vasconcelos, and Makoto Kubo. Language primitives and type discipline for structured communication-based programming. In: Hankin C., (eds). ESOP '98, vol. 1381. Berlin: Springer, 1998. p. 122-38.