Bisimulation and divergence
- 1 April 1990
- journal article
- Published by Elsevier in Information and Computation
- Vol. 85 (2) , 202-241
- https://doi.org/10.1016/0890-5401(90)90048-m
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Observation equivalence as a testing equivalenceTheoretical Computer Science, 1987
- Modal logics for communicating systemsTheoretical Computer Science, 1987