A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces
Open Access
- 31 October 2002
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 68 (4), 523-538
- https://doi.org/10.1016/s1571-0661(05)80390-1
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- An implementation of an efficient algorithm for bisimulation equivalenceScience of Computer Programming, 1990