Network grammars, communication behaviors and automatic verification

This publication has 12 references indexed in Scilit:

• Reasoning about networks with many identical finite state processes
  Information and Computation, 1989
• Avoiding the state explosion problem in temporal logic model checking
  Published by Association for Computing Machinery (ACM) ,1987
• Automatic Verification of Sequential Circuits Using Temporal Logic
  IEEE Transactions on Computers, 1986
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Automatic verification of asynchronous circuits using temporal logic
  IEE Proceedings E Computers and Digital Techniques, 1986
• The complexity of propositional linear temporal logics
  Journal of the ACM, 1985
• Modalities for model checking (extended abstract)
  Published by Association for Computing Machinery (ACM) ,1985
• Hierarchical verification of asynchronous circuits using temporal logic
  Theoretical Computer Science, 1985
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• Distributed Termination
  ACM Transactions on Programming Languages and Systems, 1980