Linear time temporal logics over Mazurkiewicz traces

This publication has 7 references indexed in Scilit:

• A Logical Study of Distributed Transition Systems
  Information and Computation, 1995
• A Partial Approach to Model Checking
  Information and Computation, 1994
• Deterministic asynchronous automata for infinite traces
  Acta Informatica, 1994
• TEMPORAL LOGICS FOR TRACE SYSTEMS: ON AUTOMATED VERIFICATION
  International Journal of Foundations of Computer Science, 1993
• Combinatorics on Traces
  Published by Springer Nature ,1990
• Notes on finite asynchronous automata
  RAIRO - Theoretical Informatics and Applications, 1987
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977