Symbolic bisimulations
Open Access
- 20 February 1995
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 138 (2) , 353-389
- https://doi.org/10.1016/0304-3975(94)00172-f
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Deciding Bisimulation Equivalences for a Class of Non-Finite-State ProgramsInformation and Computation, 1993
- Modal logics for mobile processesTheoretical Computer Science, 1993
- Local model checking for infinite state spacesTheoretical Computer Science, 1992
- Automated analysis of mutual exclusion algorithms using CCSFormal Aspects of Computing, 1989