Normed simulations
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 332-344
- https://doi.org/10.1007/bfb0028756
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- A simple characterization of stuttering bisimulationPublished by Springer Nature ,1997
- Branching time and abstraction in bisimulation semanticsJournal of the ACM, 1996
- Powerful techniques for the automatic generation of invariantsPublished by Springer Nature ,1996
- Forward and Backward SimulationsInformation and Computation, 1995
- Three logics for branching bisimulationJournal of the ACM, 1995
- Formal verification for fault-tolerant architectures: prolegomena to the design of PVSIEEE Transactions on Software Engineering, 1995
- Proof-checking a data link protocolPublished by Springer Nature ,1994
- Proving correctness with respect to nondeterministic safety specificationsInformation Processing Letters, 1991
- The existence of refinement mappingsTheoretical Computer Science, 1991
- Characterizing finite Kripke structures in propositional temporal logicTheoretical Computer Science, 1988