%0 Journal Article %1 journals/jlp/UlidowskiY04 %A Ulidowski, Irek %A Yuen, Shoji %D 2004 %J J. Log. Algebraic Methods Program. %K dblp %P 401-460 %T Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation. %U http://dblp.uni-trier.de/db/journals/jlp/jlp60.html#UlidowskiY04 %V 60-61

@article{journals/jlp/UlidowskiY04, added-at = {2021-02-16T00:00:00.000+0100}, author = {Ulidowski, Irek and Yuen, Shoji}, biburl = {https://www.bibsonomy.org/bibtex/21848c5743ee04e9f915edceeaf3253a0/dblp}, ee = {https://doi.org/10.1016/j.jlap.2004.03.002}, interhash = {7bea6499f98197fcea9f2cd217460d61}, intrahash = {1848c5743ee04e9f915edceeaf3253a0}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, pages = {401-460}, timestamp = {2024-04-08T10:51:06.000+0200}, title = {Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp60.html#UlidowskiY04}, volume = {60-61}, year = 2004 }