An elementary expressively complete temporal logic for Mazurkiewicz traces

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

Volumn 2380 LNCS, Issue , 2002, Pages 938-949

  Gastin, Paul ^a   Mukund, Madhavan ^b  

^a UNIVERSITÉ PARIS DIDEROT   (France)

^b CHENNAI MATHEMATICAL INSTITUTE   (India)

Author keywords

Concurrency; Mazurkiewicz traces; Temporal logics

Indexed keywords

AUTOMATA THEORY; TEMPORAL LOGIC;

CONCURRENCY; DECISION PROCEDURE; FIRST ORDER LOGIC; MAZURKIEWICZ TRACES; SATISFIABILITY PROBLEMS;

COMPUTER CIRCUITS;

EID: 84869155465     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45465-9_80     Document Type: Conference Paper

References (26)

1. R. Alur, D. Peled, and W. Penczek. Model-checking of causality properties. In Proceedings of LICS'95, pages 90-100, 1995.
2. C. Courcoubetis, M.Y. Vardi, P. Wolper, and M. Yannakakis. Memory efficient algorithms for the verification of temporal properties. Formal Methods in System Design, 1:275-288, 1992.
3. V. Diekert and P. Gastin. LTL is expressively complete for Mazurkiewicz traces. In Proceedings of ICALP 2000, number 1853 in LNCS, pages 211-222. Springer Verlag, 2000.
4. V. Diekert and P. Gastin. Local temporal logic is expressively complete for cograph dependence alphabets. In Proceedings of LPAR'01, number 2250 in LNAI, pages 55-69. Springer Verlag, 2001.
5. V. Diekert and P. Gastin. LTL is expressively complete for Mazurkiewicz traces. Journal of Computer and System Sciences, 2002. To appear.
6. V. Diekert and G. Rozenberg, editors. The Book of Traces. World Scientific, Singapore, 1995.
7. W. Ebinger and A. Muscholl. Logical definability on infinite traces. Theoretical Computer Science, 154:67-84, 1996.
8. W. Ebinger. Charakterisierung von Sprachklassen unendlicher Spuren durch Logiken. Dissertation, Institut für Informatik, Universität Stuttgart, 1994.
9. D. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. On the temporal analysis of fairness. In Proceedings of PoPL'80, pages 163-173, Las Vegas, Nev., 1980.
10. T. Jiang and B. Ravikumar. A note on the space complexity of some decision problems for finite automata. Information Processing Letters, 40:25-31, 1991.
11. J.A.W. Kamp. Tense Logic and the Theory of Linear Order. PhD thesis, University of California, Los Angeles, California, 1968.
12. A. Mazurkiewicz. Concurrent program schemes and their interpretations. DAIMI Rep. PB 78, Aarhus University, Aarhus, 1977.
13. P. Niebert. A ν-calculus with local views for sequential agents. In Proceedings of MFCS'95, number 969 in LNCS, pages 563-573. Springer Verlag, 1995.
14. D. Perrin and J.-E. Pin. Infinite words. Technical report, LITP, Avril 1997.
15. A. Pnueli. The temporal logics of programs. In Proceedings of the 18th IEEE FOCS, 1977, pages 46-57, 1977.
16. R. Ramanujam. Locally linear time temporal logic. In Proceedings of LICS'96, pages 118-128, 1996.
17. P.S. Thiagarajan and I. Walukiewicz. An expressively complete linear time temporal logic for Mazurkiewicz traces. In Proceedings of LICS'97, pages 183-194, 1997.
18. P.S. Thiagarajan. A trace based extension of linear time temporal logic. In Proceedings of LICS'94, pages 438-447, 1994.
19. M.Y. Vardi and P.Wolper. An automata-theoretic approach to automatic program verification. In Proceedings of LICS'86, pages 322-331, 1986.
20. M.Y. Vardi. An automata-theoretic approach to linear temporal logic. In Logics for Concurrency: Structure versus Automata, number 1043 in LNCS, pages 238-266. Springer Verlag, 1996.
21. I.Walukiewicz. Difficult configurations - on the complexity of LTrL. In Proceedings of ICALP'98, number 1443 in LNCS, pages 140-151. Springer Verlag, 1998.
22. I. Walukiewicz. Private communication, 2001.
23. I. Walukiewicz. Local logics for traces. Journal of Automata, Languages and Combinatorics, 2002. To appear.
24. Th. Wilke. Classifying discrete temporal properties. Habilitationsschrift (postdoctoral thesis), April 1998.
25. Th. Wilke. Classifying discrete temporal properties. In Proceedings of STACS'99, number 1563 in LNCS, pages 32-46. Springer Verlag, 1999.
26. W. Zielonka. Notes on finite asynchronous automata. R.A.I.R.O. - Informatique Théorique et Applications, 21:99-135, 1987.