Property preserving simulations
- 1 January 1993
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 260-273
- https://doi.org/10.1007/3-540-56496-9_21
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Three logics for branching bisimulationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Model checking and abstractionPublished by Association for Computing Machinery (ACM) ,1992
- Safety for branching time semanticsLecture Notes in Computer Science, 1991
- A logic for the specification and proof of regular controllable processes of CCSActa Informatica, 1986
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- A modal characterization of observational congruence on finite terms of CCSInformation and Control, 1986
- The glory of the pastLecture Notes in Computer Science, 1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Systematic design of program analysis frameworksPublished by Association for Computing Machinery (ACM) ,1979
- Proving the Correctness of Multiprocess ProgramsIEEE Transactions on Software Engineering, 1977