Simulation Revisited
- 23 March 2001
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 480-495
- https://doi.org/10.1007/3-540-45319-9_33
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Computing simulations on finite and infinite graphsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Abstract interpretation of reactive systemsACM Transactions on Programming Languages and Systems, 1997
- Generating diagnostic information for behavioral preordersDistributed Computing, 1995
- Transformational design and implementation of a new efficient solution to the ready simulation problemScience of Computer Programming, 1995
- Testing equivalence as a bisimulation equivalenceFormal Aspects of Computing, 1993
- Minimal state graph generationScience of Computer Programming, 1992
- Simulations between specifications of distributed systemsLecture Notes in Computer Science, 1991
- An implementation of an efficient algorithm for bisimulation equivalenceScience of Computer Programming, 1990
- Testing equivalences for processesTheoretical Computer Science, 1984
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984