A complete temporal and spatial logic for distributed systems

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

Volumn 3717 LNAI, Issue , 2005, Pages 122-137

  Pattinson, Dirk ^a   Reus, Bernhard ^b  

^a UNIVERSITY OF MUNICH   (Germany)

^b UNIVERSITY OF SUSSEX   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED SYSTEMS; LINEAR TEMPORAL LOGIC; SPATIAL STRUCTURES; SPATIAL TRANSITION SYSTEMS;

COMPUTATION THEORY; FORMAL LOGIC;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 33645730573     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11559306_7     Document Type: Conference Paper

References (26)

1. Patrick Blackburn, Maarten de Rijke, and Yde Venema. Modal Logic. Number 53 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 2001.
2. Patrick Blackburn and Miroslava Tzakova. Hybrid completeness. Logic Journal of the IGPL, 6(4):625-650, 1998.
3. Patrick Blackburn and Miroslava Tzakova. Hybrid languages and temporal logic. Logic Journal of the IGPL, 7(1):27-54, 1999.
4. Lufs Caires and Luca Cardelli. A spatial logic for concurrency (part I). Inf. Comput., 186(2):194-235, 2003.
5. Lufs Caires and Luca Cardelli. A spatial logic for concurrency - II. Theor. Comput. Sci., 322(3):517-565, 2004.
6. Cristiano Calcagno, Philippa Gardner, and Uri Zarfaty. Context logic and tree update. In POPL '05: Proceedings of the 32nd symposium on Principles of programming languages, pages 271-282, New York, NY, USA, 2005. ACM Press.
7. Luca Cardelli, Philippa Gardner, and Giorgio Ghelli. A spatial logic for querying graphs. In Peter Widmayer, Francisco Triguero Ruiz, Rafael Morales Bueno, Matthew Hennessy, Stephan Eidenbenz, and Ricardo Conejo, editors, Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Proceedings, volume 2380 of Lecture Notes in Computer Science, pages 597-610. Springer, 2002.
8. Luca Cardelli and Andrew D. Gordon. Anytime, anywhere: Modal logics for mobile ambients. In POPL, pages 365-377, 2000.
9. Luca Cardelli and Andrew D. Gordon. Mobile ambients, pages 198-229. Cambridge University Press, New York, NY, USA, 2001.
10. Rohit Chadha, Damiano Macedonio, and Vladimiro Sassone. A distributed Kripke semantics. Technical Report 2004:04, University of Sussex, 2004.
11. W3C consortium. Xlink language version 1.0.
12. Rocco de Nicola, Gian Luigi Ferrari, and Rosario Pugliese. Klaim: A kernel language for agents interaction and mobility. IEEE Trans. Softw. Eng., 24(5):315-330, 1998.
13. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about Knowledge, MIT Press, 1995.
14. Marcelo Finger and Dov Gabbay. Adding a Temporal Dimension to a Logic System, chapter 14, pages 524-552. Volume 1 of Oxford Logic Guides [15], 1994.
15. Dov Gabbay, Ian Hodkinson, and Mark Reynolds. Temporal Logic: Mathematical Foundations and Computational Aspects: Volume I. Number 28 in Oxford Logic Guides. Oxford University Press, 1994.
16. Dov Gabbay, Agi Kurucz, Frank Wolter, and Michael Zakharyaschev. Many-dimensional Modal logics: Theory and Applications. Elsevier, 2003.
17. Dov Gabbay, Amir Pnueli, Saharon Shela, and Johnatan Stavi. On the temporal analysis of fairness. In Proc. of the 7th ACM Symp. on Principles of Programming Languages, pages 163-173. ACM press, 1980.
18. Daniel Hirschkoff. An extensional spatial logic for mobile processes. In Philippa Gardner and Nobuko Yoshida, editors, Proc. of 15th Int. Conf. CONCUR 2004, volume 3170 of Lecture Notes in Computer Science, pages 325-339. Springer, 2004.
19. Fred Kröger. Temporal Logic of Programs, volume 8 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1987.
20. Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer, 1992.
21. Stephan Merz, Martin Wirsing, and Julia Zappe. A spatio-temporal logic for the specification and refinement of mobile systems. In Mauro Pezzè, editor, Proc. of 6th Int. Conf. Fundamental Approaches to Software Engineering (FASE) 2003, volume 2621 of Lecture Notes in Computer Science, pages 87-101. Springer, 2003.
22. Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes. Inf. Comput., 100(1):1-40, 1992.
23. Robin Milner, Joachim Parrow, and David Walker. Modal logic for mobile processes. Theoretical Computer Science, 1(114):149-171, 1993.
24. Rocco De Nicola and Michele Loreti. A modal logic for mobile agents. ACM Trans. Comput. Logic, 5(1):79-128, 2004.
25. Solomon Passy and Tinko Tinchev. An essay in combinatory dynamic logic. Information and Computation, 93, 1991.
26. Júlia Zappe. Towards a mobile TLA. In M. Nissim, editor, ESSLI Student Workshop on Logic, 2002.