An algorithmic approach for checking closure properties of Ω-regular languages

This publication has 17 references indexed in Scilit:

• Model-checking of causality properties
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Combining partial order reductions with on-the-fly model-checking
  Formal Methods in System Design, 1996
• Rational and Recognizable Complex Trace Languages
  Information and Computation, 1995
• Proving partial order properties
  Theoretical Computer Science, 1994
• Verification of distributed programs using representative interleaving sequences
  Distributed Computing, 1992
• Event fairness and non-interleaving concurrency
  Formal Aspects of Computing, 1989
• A syntactic congruence for rational ω-languages
  Theoretical Computer Science, 1985
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
  IEEE Transactions on Computers, 1979
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977
• Lower bounds for natural proof systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977