Local liveness for compositional modeling of fair reactive systems

This publication has 14 references indexed in Scilit:

• Model checking and modular verification
  ACM Transactions on Programming Languages and Systems, 1994
• Liveness in timed and untimed systems
  Published by Springer Nature ,1994
• Composing specifications
  ACM Transactions on Programming Languages and Systems, 1993
• P — A logic — a compositional proof system for distributed programs
  Distributed Computing, 1991
• Realizable and unrealizable specifications of reactive systems
  Published by Springer Nature ,1989
• Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
  Published by MIT Press ,1989
• Appraising fairness in languages for distributed programming
  Distributed Computing, 1988
• Hierarchical correctness proofs for distributed algorithms
  Published by Association for Computing Machinery (ACM) ,1987
• Modalities for model checking (extended abstract)
  Published by Association for Computing Machinery (ACM) ,1985
• Proofs of Networks of Processes
  IEEE Transactions on Software Engineering, 1981