Boxed ambients with communication interfaces

Mathematical Structures in Computer Science

Volumn 17, Issue 4, 2007, Pages 587-645

  Garralda, Pablo ^a   Bonelli, Eduardo ^b   Compagnoni, Adriana ^a   Dezani Ciancaglini, Mariangiola ^c  

^a Stevens Institute of Technology   (United States)

^b UNIVERSIDAD NACIONAL DE LA PLATA   (Argentina)

^c UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION SYSTEMS; COMPUTER SCIENCE; ELECTRONIC DATA INTERCHANGE; PROBLEM SOLVING; SEMANTICS;

BOXED AMBIENTS WITH COMMUNICATION INTERFACES (BACI); COMMUNICATION POLICY; LABELLED TRANSITION SYSTEMS;

USER INTERFACES;

EID: 42749091762     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129507006226     Document Type: Conference Paper

References (38)

1. Amtoft, T., Kfoury, A.J. and Pericas-Geertsen, S.M. (2001) What are Polymorphically-Typed Ambients? In: Sands, D. (ed.) ESOP'01. Springer-Verlag Lecture Notes in Computer Science 2028 206-220.
2. Amtofi, T., Makholm, H. and Wells, J. B. (2004) PolyA; True Type Polymorphism for Mobile Ambients. In: Levy, J.-J., Mayr, E.W. and Mitchell, J.C. feds.) TCS'04 591-604.
3. Barbanera, F., Bugliesi, M., Dezani-Ciancaglini, M. and Sassone, V. (2003) A Calculus of Bounded Capacities. In: Saraswat, V. A. (ed.) ASIAN'03. Springer-Verlag Lecture Notes in Computer Science 2896 205-223.
4. Bonelli, E., Compagnoni, A. and Gunter, E. (2005) Correspondence Assertions for Process Synchronization in Concurrent Communications. Journal of Functional Programming 15 (2) 219-248.
5. Bonelli, E., Compagnoni, A. B., Dezani-Ciancaglini, M. and Garralda, P. (2004) Boxed Ambients with Communication Interfaces. In: Fiala, J., Koubek, V. and Kratochvil, J. (eds.) MFCS'04. Springer-Verlag Lecture Notes in Computer Science 3153 119.....148.
6. Boudol, G. (2003) A Parametric Model of Migration and Mobility, Release 1. Mikado Deliverable D1.2.1. (Available at http://mikado.di.fc.ul.pt/ repository/Dl.2.l.pdf.)
7. Bugliesi, M. and Castagna, G. (2002) Behavioral Typing for Safe Ambients. Computer Languages 28(1)61-99.
8. Bugliesi, M., Castagna, G. and Crafa, S. (2004) Access Control for Mobile Agents: The Calculus of Boxed Ambients. ACM Transactions on Programming Languages and Systems 26 (1) 57-124.
9. Bugliesi, M., Crafa, S., Merro, M. and Sassone, V. (2005) Communication and Mobility Control in Boxed Ambients. Information and Computation 202 (1) 39-86.
10. Cardelli, L., Ghelli, G. and Gordon, A. D. (2002) Types for the Ambient Calculus. Information and Compulation 177 (2) 160-194.
11. Cardelli, L. and Gordon, A. D. (2000) Mobile Ambients. Theoretical Computer Science 240 (1) (Special Issue on Coordination) 177-213.
12. Castagna, G., Vitek, J. and Nardelli, F. Z. (2005) The Seal Calculus. Information and Computation 201 (1) 1-54.
13. Compagnoni, A. and Gunter, E. (2005) Types for Security in a Mobile World. In: Nicola, R. D. and Sangiorgi, D. (eds.) TGC 2005. Springer-Verlag Lecture Notes in Computer Science 3705 75-97.
14. Coppo, M., Cozzi, E, Dezani-Ciancaglini, M., Giovannetti, E. and Pugliese, R. (2005) A Mobility Calculus with Local and Dependent Types, In: Middeldorp, A., van Oostrom, V., van Raamsdonk, F. and de Vrijer, R. (eds.) Processes, Terms and Cycles: Steps on the Road to Infinity. Springer-Verlag Lecture Notes in Computer Science 3838 404-444.
15. Coppo, M., Dezani-Ciancaglini, M., Giovannetti, E. and Pugliese, R. (2004) Dynamic and Local Typing for Mobile Ambients. In: Levy, J.-J., Mayr, E. W. and Mitchell, J. C. (eds.) TCS'04, Kluwer 583-596.
16. Coppo, M., Dezani-Ciancaglini, M., Giovannetti, E. and Salvo, I. (2003) M3: Mobility Types for Mobile Processes in Mobile Ambients. In: Harland, J. (ed.) CATS'03. Electronic Notes in Theoretical Computer Science 78.
17. De Nicola, R., Ferrari, G. and Pugliese, R. (1998) Klaim: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering 24 (5) 315-330.
18. Dezani-Ciancaglini, M., Mostrous, D., Yoshida, N. and Drossopoulou, S. (2006) Session Types for Object-Oriented Languages. In: Thomas, D. (ed.) ECOOP'06. Springer-Verlag Lecture Notes in Computer Science 4067 328-352.
19. Garralda, P. and Compagnoni, A. (2005) Splitting Mobility and Communication in Boxed Ambients. In: Fernández, M. and Mackie, I. (eds.) DCM 2005. Electronic Notes in Theoretical Computer Science 135 105-114.
20. Garralda, P., Compagnoni, A. and Dezani-Ciancaglini, M. (2006) BASS: Boxed Ambients with Safe Sessions. In: Maher, M. (ed.) PPDP'06, ACM Press 61-72.
21. Giovannetti, E. (2003) Ambient Calculi with Types: a Tutorial. In: Priami, C. (ed.) Global Computing. Springer-Verlag Lecture Notes in Computer Science 2874 151-191.
22. Goguen, H. (1995) Typed Operational Semantics. In: Dezani-Ciancaglini, M. and Plotkin, G. (eds.) TLCA'95. Springer-Verlag Lecture Notes in Computer Science 902 186-200.
23. Goguen, H. (1999) Soundness of a Typed Operational Semantics for the Logical Framework. In: Girard, J.-Y. (ed.) TLCA'99. Springer-Verlag Lecture Notes in Computer Science 1581 177-197.
24. Gordon, A. D. and Cardelli, L. (2003) Equational Properties of Mobile Ambients. Mathematical Structures in Computer Science 13 (3) 371-408.
25. Hennessy, M., Merro, M. and Rathke, J. (2004) Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems. Theoretical Computer Science 322 (3) 615-669.
26. Hennessy, M. and Riely, J. (2002) Resource Access Control in Systems of Mobile Agents. Information and Computation 173 82-120.
27. Hennessy, M. and Riely, J. (2003) Trust and Partial Typing in Open Systems of Mobile Agents. Journal of Automated Reasoning 31 (3-4) 335-370.
28. Honda, K., Vasconcelos, V. T. and Kubo, M. (1998) Language Primitives and Type Disciplines for Structured Communication-based Programming. In: Hankin, C. (ed.) ESOP'98. Springer-Verlag Lecture Notes in Computer Science 1381 22-138.
29. Honda, K. and Yoshida, N. (1994) Replication in Concurrent Combinators. In: Hagiya, M. and Mitchell, J. C. (eds.) TACS'94. Springer-Verlag Lecture Notes in Computer Science 789 786-805.
30. Levi, F. and Sangiorgi, D. (2003) Controlling Interference in Ambients. Transactions on Programming Languages and Systems 25 (1) 1-69.
31. Lhoussaine, C. and Sassone, V. (2004) A Dependently Typed Ambient Calculus. In: Schmidt, D. (ed.) ESOP'04. Springer-Verlag Lecture Notes in Computer Science 2986 171-187.
32. Merro, M. and Hennessy, M. (2006) Bisimulation Congruences in Safe Ambients. ACM Transactions on Programming Languages and System. 28 (2) 290-330.
33. Merro, M. and Sassone, V. (2002) Typing and Subtyping Mobility in Boxed Ambients. In: Brim, L., Jancar, P., Kretinsky, M. and Kucera, A. (eds.) CONCUR'02. Springer-Verlag Lecture Notes in Computer Science 2421 304-320.
34. Milner, R. (1993) The Polyadic π-calculus: a Tutorial. In: Bauer, F.L., Brauer, W. and Schwichtenberg, H. (eds.) Logic and Algebra of Specification. NATO ASI Series F: Computer and Systems Sciences, Springer-Verlag 94 203-246.
35. Milner, R. and Sangiorgi, D. (1992) Barbed Bisimulation. In: Kuich, W. (ed.) ICALP '92. Springer-Verlag Lecture Notes in Computer Science 623 685-695.
36. Necula, G.C. (1997) Proof-Carrying Code. In: Jones, N.D. (ed.) POPL'97, ACM Press 106.....119. Sangiorgi, D. and Walker, D. (2002) The π-calculus, Cambridge University Press.
37. Teller, D., Zimmer, P. and Hirschkoff, D. (2002) Using Ambients to Control Resources. In: Brim, L., Jančar, P., Křetinsky̌, M. and Kučera, A. (eds.) CONCUR'02. Springer-Verlag Lecture Notes in Computer Science 2421 288-303.
38. Zimmer, P. (2000) Subtyping and Typing Algorithms for Mobile Ambients. In: Tiuryn, J. (ed.) FOSSACS'00. Springer-Verlag Lecture Notes in Computer Science 1784 375-390.