%0 Journal Article %1 journals/iandc/UlidowskiP02 %A Ulidowski, Irek %A Phillips, Iain C. C. %D 2002 %J Inf. Comput. %K dblp %N 1 %P 180-213 %T Ordered SOS Process Languages for Branching and Eager Bisimulations. %U http://dblp.uni-trier.de/db/journals/iandc/iandc178.html#UlidowskiP02 %V 178

@article{journals/iandc/UlidowskiP02, added-at = {2022-12-07T00:00:00.000+0100}, author = {Ulidowski, Irek and Phillips, Iain C. C.}, biburl = {https://www.bibsonomy.org/bibtex/21e6b616d1110ad7fce46213224d2fde8/dblp}, ee = {https://doi.org/10.1006/inco.2002.3161}, interhash = {3c8512b87e7d2e0220094427ca116c90}, intrahash = {1e6b616d1110ad7fce46213224d2fde8}, journal = {Inf. Comput.}, keywords = {dblp}, number = 1, pages = {180-213}, timestamp = {2024-04-09T06:10:55.000+0200}, title = {Ordered SOS Process Languages for Branching and Eager Bisimulations.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc178.html#UlidowskiP02}, volume = 178, year = 2002 }