Canonical Representatives for Observational Equivalence Classes
- 1 January 1989
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Extensional equivalences for transition systemsActa Informatica, 1987
- Concurrent histories: A basis for observing distributed systemsJournal of Computer and System Sciences, 1987
- Bisimulations and abstraction homomorphismsJournal of Computer and System Sciences, 1987