A Calculus for shapes in time and space

Lecture Notes in Computer Science

Volumn 3407, Issue , 2005, Pages 463-477

  Schäfer, Andreas ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

Duration Calculus; Mobile systems; Real time systems; Spatial logic; Temporal logic

Indexed keywords

MOBILE TELECOMMUNICATION SYSTEMS; NUMERICAL METHODS; REAL TIME SYSTEMS;

DURATION CALCULUS; MOBILE SYSTEMS; SPATIAL LOGIC; TEMPORAL LOGIC;

LOGIC PROGRAMMING;

EID: 24644482400     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31862-0_33     Document Type: Conference Paper

References (20)

1. [AD94] R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2): 183-235, 1994.
2. [ADN97] S. N. Artemov, J.M. Davoren, and A. Nerode. Modal logics and topological semantics for hybrid systems. Technical Report 97-05, Cornell University Ithaca, 1997.
3. [AvB01] M. Aiello and H. van Benthem. A Modal Walk Through Space. Technical report, Institute for Logic, Language and Computation, University of Amsterdam, 2001.
4. [BB92] J.C.M. Baeten and J.A. Bergstra. Asynchronous Communication in Real Space Process Algebra. In Jan Vytopil, editor, FTRTFT '92, Nijmegen, The Netherlands, volume 571 of LNCS, pages 473-492. Springer, 1992.
5. [BC02] B. Bennett and A.G. Cohn. Multi-Dimensional Multi-Modal Logics as a Framworf for Spatio-Temporal Reasoning. Applied Intelligence, 17(3):239-251, 2002.
6. [CC03] L. Caires and L. Cardelli. A Spatial Logic for Concurrency. Information and Computation, 186(2):194-235, 2003.
7. [CG00] L. Cardelli and A. D. Gordon. Anytime, Anywhere: Modal Logics for Mobile Ambients. In POPL 2000, pages 365-377. ACM Press, 2000.
8. [Gal95] A. Galton. Towards a qualitative theory of movement. In Spatial Information Theory, pages 377-396, 1995.
9. [GR97] D. Giammarresi and A. Restivo. Handbook of Formal Languages - Beyond Words, volume 3, chapter Two-Dimensional Languages, pages 215-267. Springer, 1997.
10. [HZ97] M. R. Hansen and Zhou Chaochen. Duration Calculus: Logical Foundations. Formal Aspects of Computing, 9:283-330, 1997.
11. [HZ04] M. R. Hansen and Zhou Chaochen. Duration Calculus: A Formal Approach to Real-Time Systems. EATCS: Monographs in Theoretical Computer Science. Springer, 2004.
12. [Mil99] R. Milner. Communicating and mobile systems: the π-calculus. Cambridge University Press, 1999.
13. [Mul98] P. Muller. A Qualitative Theory of Motion Based on Spatio-Temporal Primitives. In A. G. Cohn, L. K. Schubert, and S. C. Shapiro, editors, KR'98. Principles of Knowledge Representation and Reasoning, Trento, Italy, pages 131-143. Morgan Kaufmann, 1998.
14. [MWZ03] S. Merz, M. Wirsing, and J. Zappe. A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. In M. Pezzè, editor, FASE 2003, Warsaw, Poland, volume 2621 of LNCS, pages 87-1014. Springer, 2003.
15. [PH98] P. K. Pandya and Dang Van Hung. Duration Calculus of Weakly Monotonic Time. In A. P. Ravn and H. Rischel, editors, FTRTFT'98, Lyngby, Denmark, number 1998 in LNCS, pages 55-64. Springer, 1998.
16. [Rav95] A. Ravn. Design of embedded real-time computing systems. Technical report, Dept. Comp. Science, Technical University of Denmark,Bld. 344, DK-2800 Lyngby, 1995.
17. [RCC92] D. A. Randell, Z. Cui, and A. Cohn. A Spatial Logic Based on Regions and Connection. In B. Nebel, C. Rich, and W. Swartout, editors, KR'92. Principles of Knowledge Representation and Reasoning, pages 165-176. Morgan Kaufmann, San Mateo, California, 1992.
18. [WZ03] F. Wolter and M. Zakharyaschev. Reasoning about distances. In G. Gottlob and T. Walsh, editors, IJCAI-03, Acapulco, Mexico, August 9-15, 2003, pages 1275-1282. Morgan Kaufmann, 2003.
19. [ZHR91] Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269-276, 1991.
20. [ZRH93] Zhou Chaochen, A.P. Ravn, and M.R. Hansen. An Extended Duration Calculus for Hybrid Real-Time Systems. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, volume 736 of LNCS, pages 36-59. Springer, 1993.