Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes
- 12 March 1999
- book chapter
- Published by Springer Nature
- p. 300-314
- https://doi.org/10.1007/3-540-49059-0_21
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Proof systems for message-passing process algebrasFormal Aspects of Computing, 1996
- Applied Computational Geometry Towards Geometric EngineeringPublished by Springer Nature ,1996
- Symbolic bisimulationsTheoretical Computer Science, 1995
- Deciding Bisimulation Equivalences for a Class of Non-Finite-State ProgramsInformation and Computation, 1993
- The concurrency workbenchACM Transactions on Programming Languages and Systems, 1993
- Computer Aided VerificationPublished by Springer Nature ,1992