%0 Journal Article %1 journals/scp/BonchiBLR19 %A Bonchi, Filippo %A van Bussel, Tom %A Lee, Matias David %A Rot, Jurriaan %D 2019 %J Sci. Comput. Program. %K dblp %P 1-26 %T Bisimilarity of open terms in stream GSOS. %U http://dblp.uni-trier.de/db/journals/scp/scp172.html#BonchiBLR19 %V 172

@article{journals/scp/BonchiBLR19, added-at = {2021-10-14T00:00:00.000+0200}, author = {Bonchi, Filippo and van Bussel, Tom and Lee, Matias David and Rot, Jurriaan}, biburl = {https://www.bibsonomy.org/bibtex/272655ad986e35e25a99fb892b07827d1/dblp}, ee = {https://doi.org/10.1016/j.scico.2018.10.007}, interhash = {ae98d8af3c1fede91db09ecaffb50744}, intrahash = {72655ad986e35e25a99fb892b07827d1}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = {1-26}, timestamp = {2024-04-09T05:28:08.000+0200}, title = {Bisimilarity of open terms in stream GSOS.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp172.html#BonchiBLR19}, volume = 172, year = 2019 }