All from one, one for all: on model checking using representatives

This publication has 10 references indexed in Scilit:

• Sometimes ‘some’ is as good as ‘all’
  Published by Springer Nature ,2006
• Proving partial order liveness properties
  Published by Springer Nature ,2005
• Verification of distributed programs using representative interleaving sequences
  Distributed Computing, 1992
• Defining conditional independence using collapses
  Theoretical Computer Science, 1992
• Event fairness and non-interleaving concurrency
  Formal Aspects of Computing, 1989
• Appraising fairness in languages for distributed programming
  Distributed Computing, 1988
• Defining liveness
  Information Processing Letters, 1985
• Petri Nets
  Published by Springer Nature ,1985
• Checking that finite state concurrent programs satisfy their linear specification
  Published by Association for Computing Machinery (ACM) ,1985
• How to cook a temporal proof system for your pet language
  Published by Association for Computing Machinery (ACM) ,1983