Using partial-order semantics to avoid the state explosion problem in asynchronous systems

This publication has 6 references indexed in Scilit:

• 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
• Specification and verification of concurrent programs by A ∀ automata
  Published by Association for Computing Machinery (ACM) ,1987
• Compiling communicating processes into delay-insensitive VLSI circuits
  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