Quantales and temporal logics

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

Volumn 4019 LNCS, Issue , 2006, Pages 263-277

  Möller, Bernhard ^a   Höfner, Peter ^a   Struth, Georg ^b  

^a UNIVERSITY OF AUGSBURG   (Germany)

^b UNIVERSITY OF SHEFFIELD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; ITERATIVE METHODS; MATHEMATICAL OPERATORS; SEMANTICS;

BOOLEAN LEFT QUANTALES; INFINITE ITERATION OPERATORS; TEMPORAL LOGIC; TRANSITION SYSTEMS;

FORMAL LOGIC;

EID: 33746048436     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11784180_21     Document Type: Conference Paper

References (24)

1. R. C. Backhouse et al.: Fixed point calculus. Inform. Proc. Letters, 53:131-136 (1995)
2. E. Cohen: Separation and reduction. In R. Backhouse and J.N. Oliveira (eds.): Mathematics of Program Construction. LNCS 1837. Springer 2000, 45-59
3. J.H. Conway: Regular algebra and finite machines. London: Chapman and Hall 1971
4. J. Desharnais, B. Möller: Characterizing determinacy in Kleene algebra. Special Issue on Relational Methods in Computer Science, Information Sciences -An International Journal 139, 253-273 (2001)
5. J. Desharnais, B. Möller, G. Struth: Modal Kleene algebra and applications -a survey. J. Relational Methods in Computer Science 1, 93-131 (2004)
6. J. Desharnais, B. Möller, G. Struth: Kleene algebra with domain. ACM Transactions on Computational Logic 2006 (to appear)
7. J. Desharnais, B. Möller, G. Struth: Termination in modal Kleene algebra. In J.J. Levy, E. Mayr, and J. Mitchell, editors, Exploring new frontiers of theoretical informatics. IFIP International Federation for Information Processing Series 155. Kluwer 2004, 653-666
8. R.M. Dijkstra: Computation calculus bridging a formalisation gap. Science of Computer Programming 37, 3-36 (2000)
9. E.A. Emerson: Temporal and modal logic. In J. van Leeuwen (ed.): Handbook of theoretical computer science. Vol. B: Formal models and semantics. Elsevier 1991, 995-1072
10. M.F. Frías and C. Lopez Pombo. Interpretability of linear time temporal logic in fork algebra. Journal of Logic and Algebraic Programming, 66(2):161-184 (2006)
11. V. Goranko: Temporal logics of computations. Introductory course, 12th European summer School in Logic, Language and Information, Birmingham, 6-18 August 2000
12. D. Harel, D. Kozen, J. Tiuryn: Dynamic Logic. MIT Press 2000
13. P. Höfner, B. Möller, K. Solin: Omega Algebra, demonic refinement algebra and commands. Proc. 9th RelMiCS/4th AKA 2006 (to appear)
14. D. Kozen: A completeness theorem for Kleene algebras and the algebra of regular events. Information and Computation 110:2, 366-390 (1994)
15. D. Kozen: Kleene algebras with tests. ACM TOPLAS 18, 427-443 (1997)
16. D. Kozen: Some results in dynamic model theory. Science of Computer Programming 51, 3-22 (2004)
17. B. Möller: Kleene getting lazy. Science of Computer Programming, Special issue on MPC 2004 (to appear). Previous version: B. Möller: Lazy Kleene algebra. In D. Kozen (ed.): Mathematics of program construction. LNCS 3125. Springer 2004, 252-273
18. B. Möller, G. Struth: Algebras of Modal Operators and Partial Correctness Theoretical Computer Science 351, 221-239 (2006)
19. B. Möller, G. Struth: wp is wlp. In W. MacCaull, M. Winter and I. Duentsch (eds.): Relational Methods in Computer Science. LNCS 3929, Springer 2006, 200-211
20. K.I. Rosenthal: Quantales and their applications. Pitman Research Notes in Mathematics Series, Vol. 234. Longman Scientific&Technical 1990
21. G. Schmidt, T. Ströhlein: Relations and Graphs -Discrete Mathematics for Computer Scientists. EATCS Monographs on Theoretical Computer Science. Springer 1993
22. L. Staiger: Omega languages. In G. Rozenberg, A. Salomaa (eds.): Handbook of formal languages, Vol. 3. Springer 1997, 339-387
23. B. von Karger: Temporal algebra. Mathematical Structures in Computer Science 8:277-320, 1998
24. B. von Karger, R. Berghammer: A relational model for temporal logic. Logic Journal of the IGPL 6, 157-173, 1998