Characterizations of bisimulation and bounded bisimulations (1996)

by Jelle Gerbrandy
Venue:Workshop Proceedings Observational Equivalence and Logical Equivalence, European Summer School on Logic, Language, and Information