Fair simulation

This publication has 23 references indexed in Scilit:

• Computing simulations on finite and infinite graphs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Transformational design and implementation of a new efficient solution to the ready simulation problem
  Science of Computer Programming, 1995
• Fair testing
  Published by Springer Nature ,1995
• Model checking and modular verification
  ACM Transactions on Programming Languages and Systems, 1994
• Equivalences for fair Kripke structures
  Published by Springer Nature ,1994
• The concurrency workbench
  ACM Transactions on Programming Languages and Systems, 1993
• The existence of refinement mappings
  Theoretical Computer Science, 1991
• The complexity of tree automata and logics of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• An algebraic theory of fair asynchronous communicating processes
  Theoretical Computer Science, 1987
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986