Colin Stirling. Bisimulation and Language Equivalence. In Ruy J. G. B. de Queiroz, editor, Logic for Concurrency and Synchronisation. Volume 18 of Trends in Logic, pages 269-284, Kluwer, 2003. [doi]
@incollection{Stirling03-1,
title = {Bisimulation and Language Equivalence},
author = {Colin Stirling},
year = {2003},
doi = {10.1007/0-306-48088-3_7},
url = {https://doi.org/10.1007/0-306-48088-3_7},
researchr = {https://researchr.org/publication/Stirling03-1},
cites = {0},
citedby = {0},
pages = {269-284},
booktitle = {Logic for Concurrency and Synchronisation},
editor = {Ruy J. G. B. de Queiroz},
volume = {18},
series = {Trends in Logic},
publisher = {Kluwer},
isbn = {978-1-4020-1270-9},
}