A mobility calculus with local and dependent types

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3838 LNCS, Issue , 2005, Pages 404-444

  Coppo, Mario ^a   Cozzi, Federico ^b   Dezani Ciancaglini, Mariangiola ^a   Giovannetti, Elio ^a   Pugliese, Rosario ^c  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF SIENA   (Italy)

^c UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; OPTIMIZATION; PROBLEM SOLVING; PROCESS CONTROL; SEMANTICS;

AMBIENT-BASED CALCULUS; MOBILITY CALCULUS; PROCESS MOBILITY; TYPE ASSIGNMENT SYSTEM;

DIFFERENTIATION (CALCULUS);

EID: 37149006472     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11601548_20     Document Type: Article

References (36)

1. T. Amtoft, A. J. Kfoury, and S. M. Pericas-Geertsen. What are PolymorphicallyTyped Ambients? In D. Sands, editor, Proc. of ESOP'01, volume 2028 of LNCS, pages 206-220. Springer, 2001.
2. F. Barbanera, M. Dezani-Ciancaglini, I. Salvo, and V. Sassone. A type inference algorithm for secure ambients. In M. Lenisa and M. Miculan, editors, Proc. of TOSCA'01, volume 62 of ENTCS. Elsevier Science, 2002.
3. L. Bettini, V. Bono, R. D. Nicola, G. Ferrari, D. Gorla, M. Loreti, E. Moggi, R. Pugliese, E. Tuosto, and B. Venneri. The KLAIM Project: Theory and Practice. In C. Priami, editor, Global Computing: Programming Environments, Languages, Security and Analysis of Systems, volume 2874 of LNCS, pages 88-151. Springer, 2003.
4. E. Bonelli, A. Compagnoni, M. Dezani-Ciancaglini, and P. Garralda. Boxed Ambients with Communication Interfaces. In V. Fiala, Jiríand Koubek and K. Jan, editors, Proc. of MFCS '04, volume 3153 of LNCS, pages 119-148. Springer, 2004.
5. G. Boudol. A Parametric Model of Migration and Mobility, Release 1. Mikado Deliverable D1.2.1, available at http://mikado.di.fc.ul.pt/repository/D1. 2.1.pdf, 2003.
6. M. Bugliesi and G. Castagna. Behavioral Typing for Safe Ambients. Computer Languages, 28(1):61-99, 2002.
7. M. Bugliesi, G. Castagna, and S. Crafa. Access Control for Mobile Agents: The Calculus of Boxed Ambients. ACM Transactions on Programming Languages and Systems, 26(1):57-124, 2004.
8. M. Bugliesi, S. Crafa, M. Merro, and V. Sassone. Communication and Mobility Control in Boxed Ambients. Information and Computation, 202(1): 39-86, 2005.
9. L. Cardelli. Abstractions for Mobile Computation. In J. Vitek and C. Jensen, editors, Secure Internet Programming: Security Issues for Mobile and Distributed Objects, volume 1603 of LNCS, pagas 51-94. Springer, 1999.
10. L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility Types for Mobile Ambients. In J. Wiedermann, P. van Emde Boas, and M. Nielsen, editors, Proc. of ICALP'99, volume 1644 of LNCS, pages 230-239. Springer, 1999.
11. L. Cardelli, G. Ghelli, and A. D. Gordon. Types for the Ambient Calculus. Information and Computation, 177(2):160-194, 2002.
12. L. Cardelli and A. D. Gordon. Mobile Ambients. Theoretical Computer Science, 240(1):177-213, 2000. Special Issue on Coordination, Daniel Le Métayer Editor.
13. G. Castagna, J. Vitek, and F. Z. Nardelli. The Seal Calculus. Information and Computation, 201(1):1-54, 2005.
14. M. Coppo, M. Dezani-Ciancaglini, E. Giovannetti, and R. Pugliese. Dynamic and Local Typing for Mobile Ambients. In Proc. of TCS'04, pages 583-596. Kluwer, 2004.
15. M. Coppo, M. Dezani-Ciancaglini, E. Giovannetti, and I. Salvo. M3: Mobility Types for Mobile Processes in Mobile Ambients. In J. Harland, editor, Proc. of CATS'03, volume 78 of ENTCS. Elsevier, 2003.
16. H. B. Curry and R. Feys. Combinatory Logic, volume I of Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam, 1958.
17. R. De Nicola, G. Ferrari, and R. Pugliese. Klaim: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24(5):315-330, 1998.
18. R. De Nicola, D. Gorla, and R. Pugliese. Basic observables for a calculus for global computing. In L. Caires, G. F. Italiano, L. Monteiro, C. Palamidessi, and M. Yung, editors, Proc. of ICALP'05, volume 3580 of LNCS, pages 1226-1238. Springer, 2005.
19. G. Ferrari, E. Moggi, and R. Pugliese. Guardians for Ambient-based Monitoring. In V. Sassone, editor, Proc. of F-WAN, volume 66 of ENTCS. Elsevier, 2002.
20. A. Francalanza and M. Hennessy. A theory of system behaviour in the presence of node and link failures. In M. Abadi and L. de Alfaro, editors, Proc. of CONCUR '05, volume 3653 of LNCS, pages 368-382. Springer, 2005.
21. E. Giovannetti. Ambient Calculi with Types: a Tutorial. In C. Priami, editor, Global Computing - Programming Environments, Languages, Security and Analysis of Systems, volume 2874 of LNCS, pages 151-191. Springer, 2003.
22. H. Goguen. Typed Operational Semantics. In M. Dezani-Ciancaglini and G. Plotkin, editors, Proc. of TLCA'95, volume 902 of LNCS, pages 186-200. Springer, 1995.
23. D. Gorla, M. Hennessy, and V. Sassone. Security Policies as Membranes in Systems for Global Computing. In J. Rathke, editor, Proc. of FGUC'04, ENTCS. Elsevier, 2004.
24. D. Gorla and R. Pugliese. Resource Acces and Mobility Control with Dynamic Privileges Acquisition. In J. Parrow, editor, Proc. of ICALP'03, volume 2719 of LNCS, pages 119-132. Springer, 2003.
25. M. Hennessy, J. Rathke, and N. Yoshida. SafeDpi: A language for controlling mobile code (extended abstract). In I. Walukiewicz, editor, Proc. of FOSSACS'04, volume 2987 of LNCS, pages 241-256, 2004. Extended and revised version to appear in Acta Informatica.
26. M. Hennessy and J. Riely. Type-Safe Execution of Mobile Agents in Anonymous Networks. In J. Vitek and C. Jensen, editors, Secure Internet Programming: Sccurity Issues for Distributed and Mobile Objects, number 1603 in LNCS, pages 95-115. Springer, 1999.
27. M. Hennessy and J. Riely. Resource Access Control in Systems of Mobile Agents. Information and Computation, 173:82-120, 2002.
28. M. Hennessy and J. Riely. Trust and Partial Typing in Open Systems of Mobile Agents. Journal of Automated Reasoning, 31(3-4):335-370, 2003.
29. F. Levi and D. Sangiorgi. Controlling Interference in Ambients. transactions on Programming Languages and Systems, 25(1):1-69, 2003.
30. C. Lhoussaine and V. Sassone. A Dependently Typed Ambient Calculus. In D. Schmidt, editor, Proc. of ESOP'04, volume 2986 of LNCS, pages 171-187. Springer, 2004.
31. M. Merro and M. Hennessy. Bisimulation Congruences in Safe Ambients. In N. D. Jones and X. Leroy, editors, Proc. of POPL'02, pages 71-80, New York, 2002. ACM Press.
32. M. Merro and V. Sassone. Typing and Subtyping Mobility in Boxed Ambients. In L. Brim, P. Janear, M. Kretinsky, and A. Kueera, editors, Proc. of CONCUR'02, volume 2421 of LNCS, pages 304-320. Springer, 2002.
33. G. C. Necula. Proof-Carrying Code. In N. D. Jones, editor, Proc. of POPL'97, pages 106-119. ACM Press, 1997.
34. B. C. Pierce. Types and Programming Languages. MIT Press, 2002.
35. B. C. Pierce and D. Sangiorgi. Typing and Subtyping for Mobile Processes. Mathematical Structures in Computer Science, 6(5):409-454, 1996. An extract appeared in Proc. of LICS '93: 376-385.
36. P. Zimmer. Subtyping and typing algorithms for mobile ambients. In J. Tiuryn, editor, Proc. of FOSSACS'00, volume 1784 of LNCS, pages 375-390. Springer, 2000.