1990
Back and forth bisimulations
Publication
Publication
Additional Metadata | |
---|---|
CWI | |
Department of Computer Science [CS] ; CS-R 9021 | |
De Nicola, R., Montanari, U., & Vaandrager, F. (1990). Back and forth bisimulations. Department of Computer Science [CS]. CWI. |