Module checking revisited

This publication has 20 references indexed in Scilit:

• Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
  Theoretical Computer Science, 1995
• Model checking and modular verification
  ACM Transactions on Programming Languages and Systems, 1994
• Alternating automata on infinite trees
  Theoretical Computer Science, 1987
• Automata-theoretic techniques for modal logics of programs
  Journal of Computer and System Sciences, 1986
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• On the Development of Reactive Systems
  Published by Springer Nature ,1985
• The complexity of two-player games of incomplete information
  Journal of Computer and System Sciences, 1984
• Specifying Concurrent Program Modules
  ACM Transactions on Programming Languages and Systems, 1983
• The temporal semantics of concurrent programs
  Theoretical Computer Science, 1981