MoMO: A modal logic for reasoning about mobility

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

Volumn 3657 LNCS, Issue , 2005, Pages 95-119

  De Nicola, Rocco ^a   Loreti, Michele ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATA REDUCTION; DIFFERENTIATION (CALCULUS); MOBILE COMPUTING; MODAL ANALYSIS;

EXPERIMENTAL PROGRAMMING LANGUAGE; HENNESSY-MILNER LOGIC (HML); MODAL LOGIC; TEMPORAL LOGIC;

FORMAL LOGIC;

EID: 33646030638     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11561163_5     Document Type: Conference Paper

References (25)

1. L. Bettini, V. Bono, R. De Nicola, G. Ferrari, D. Gorla, M. Loreti, E. Moggi, R. Pugliese, E. Tuosto, and B. Venneri. The klaim project: Theory and practice. In Global Computing, volume 2874 of Lecture Notes in Computer Science, pages 88-150. Springer, 2003.
2. M. Bugliesi, G. Castagna, and S. Crafa. Reasoning about security in mobile ambients. In Concur 2001, number 2154 in Lecture Notes in Computer Science, pages 102-120. Springer, 2001.
3. L. Caires and L. Cardelli. A spatial logic for concurrency (part i). Inf. Comput., 186(2):194-235, 2003.
4. L. Caires and L. Cardelli. A spatial logic for concurrency - ii. Theor. Comput. Sci., 322(3):517-565, 2004.
5. L. Cardelli and A. D. Gordon. Mobile ambients. Theor. Comput. Sci., 240(1):177-213, 2000.
6. L. Cardelli and A. D. Gordon. Ambient logic. Mathematical Structures in Computer Science, 2005. to appear.
7. N. Carriero and D. Gelernter. Linda in Context. Communications of the ACM, 32(10) :444-458, October 1989. Technical Correspondence.
8. G. Castagna, G. Ghelli, and F. Zappa Nardelli. Typing mobility in the seal calculus. In Concur 2001, number 2154 in Lecture Notes in Computer Science, pages 82-101. Springer, 2001.
9. G. Castagna and J. Vitek. Seal: A framework for secure mobile computations. In H. Bai, B. Belkhouche, and L. Cardelli, editors, Internet Programming Languages, number 1686 in Lecture Notes in Computer Science, pages 47-77. Springer, 1999.
10. M. Dam. Model checking mobile processes. Journal of Information and Computation, 129(1):35-51, 1996.
11. 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.
12. R. De Nicola and M. Loreti. A Modal Logic for Mobile Agents. ACM Transactions on Computational Logic, 5(1), 2004.
13. G. Ferrari, C. Montangero, L. Semini, and S. Semprini. Mark, a reasoning kit for mobility. Automated Software Engineering, 9:137-150, 2002.
14. C. Fournet, G. Gonthier, J. J. Levy, L. Maranget, and D. Remy. A Calculus of Mobile Agents. In U. Montanari and V. Sassone, editors, Proc. of 7th Int. Conf. on Concurrency Theory (CONCUR'96), volume 1119 of Lecture Notes in Computer Science, pages 406-421. Springer-Verlag, 1996.
15. M. Gabbay and A. M. Pitts. A new approach to abstract syntax involving binders. In LICS, pages 214-224, 1999.
16. D. Gelernter. Generative Communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80-112, 1985.
17. D. Gelernter. Multiple Tuple Spaces in Linda. In J. G. Goos, editor, Proceedings, PARLE '89, volume 365 of Lecture Notes in Computer Science, pages 20-27, 1989.
18. M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32(1):137-161, Jan. 1985.
19. M. Hennessy and J. Riely. Distributed processes and location failures. Theoretical Computer Science, 266(1-2):693-735, Sept. 2001.
20. M. Hennessy and J. Riely. Resource access control in systems of mobile agents. Information and Computation, 173(1):82-120, 2002.
21. P. McCann and G.-C. Roman. Compositional programming abstraction for mobile computing. IEEE Transactions on Software Engineering, 24(2):97-110, 1998.
22. R. Milner, J. Parrow, and D. Walker. Modal logics for mobile processes. Theoretical Computer Science, 114:149-171, 1993.
23. R. Milner, J. Parrow, and J. Walker. A Calculus of Mobile Processes, I and II. Information and Computation, 100(1):1-40, 41-77, 1992.
24. J. C. Reynolds. Separation logic: A logic for shared mutable data structures. In 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 8002, Copenhagen, Denmark, Proceedings, pages 55-74. IEEE Computer Society, 2002.
25. P. T. Wojciechowski and P. Sewell. Nomadic pict: Language and infrastructure design for mobile agents. In ASA/MA, pages 2-12. IEEE Computer Society, 1999.