BibTeX
BibTeX
Process Languages for Rooted Eager Bisimulation
@inproceedings{DBLP:conf/concur/UlidowskiY00,
author = {Irek Ulidowski and
Shoji Yuen},
editor = {Catuscia Palamidessi},
title = {Process Languages for Rooted Eager Bisimulation},
booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
University Park, PA, USA, August 22-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1877},
pages = {275--289},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44618-4\_21},
doi = {10.1007/3-540-44618-4\_21},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/UlidowskiY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}