Partial-order model checking: A guide for the perplexed

This publication has 9 references indexed in Scilit:

• Using partial-order semantics to avoid the state explosion problem in asynchronous systems
  Published by American Mathematical Society (AMS) ,1991
• Modeling concurrency with geometry
  Published by Association for Computing Machinery (ACM) ,1991
• Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
  Published by MIT Press ,1989
• Abstract specification of synchronous data types for VLSI and proving the correctness of systolic network implementations
  IEEE Transactions on Computers, 1988
• Compiling communicating processes into delay-insensitive VLSI circuits
  Distributed Computing, 1986
• On the existence of delay-insensitive fair arbiters: Trace theory and its limitations
  Distributed Computing, 1986
• A formal model for defining and classifying delay-insensitive circuits and systems
  Distributed Computing, 1986
• Modeling concurrency with partial orders
  International Journal of Parallel Programming, 1986
• Trace Theory and VLSJ Design
  Lecture Notes in Computer Science, 1985