Back and Forth Bisimulations. Nicola, R. D.; Montanari, U.; and Vaandrager, F. W. In Baeten, J. C. M. and Klop, J. W., editors, CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings, volume 458, of Lecture Notes in Computer Science, pages 152–165, 1990. Springer.
Paper doi bibtex @inproceedings{DBLP:conf/concur/NicolaMV90,
author = {Rocco De Nicola and
Ugo Montanari and
Frits W. Vaandrager},
editor = {Jos C. M. Baeten and
Jan Willem Klop},
title = {Back and Forth Bisimulations},
booktitle = {{CONCUR} '90, Theories of Concurrency: Unification and Extension,
Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {458},
pages = {152--165},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0039058},
doi = {10.1007/BFb0039058},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/NicolaMV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}