%0 Conference Paper %1 journals/corr/abs-2309-07933 %A van Glabbeek, Rob %A Höfner, Peter %A Wang, Weiyou %B EXPRESS/SOS %D 2023 %E Mezzina, Claudio Antares %E Caltais, Georgiana %K dblp %P 59-75 %T A Lean-Congruence Format for EP-Bisimilarity. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs387.html#abs-2309-07933 %V 387

@inproceedings{journals/corr/abs-2309-07933, added-at = {2023-10-25T00:00:00.000+0200}, author = {van Glabbeek, Rob and Höfner, Peter and Wang, Weiyou}, biburl = {https://www.bibsonomy.org/bibtex/2d2f3dfe55e3cbd6f6a95f4d7c23466d9/dblp}, booktitle = {EXPRESS/SOS}, crossref = {journals/corr/abs-2309-05788}, editor = {Mezzina, Claudio Antares and Caltais, Georgiana}, ee = {https://doi.org/10.48550/arXiv.2309.07933}, interhash = {23afe53b16a9972a4fad5571f6461274}, intrahash = {d2f3dfe55e3cbd6f6a95f4d7c23466d9}, keywords = {dblp}, pages = {59-75}, series = {EPTCS}, timestamp = {2024-04-09T09:30:23.000+0200}, title = {A Lean-Congruence Format for EP-Bisimilarity.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs387.html#abs-2309-07933}, volume = 387, year = 2023 }