Mouhebeddine Berrima, Narjes Ben Rajeb. Linking Algebraic Observational Equivalence and Bisimulation. In Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu, editors, Developments in Language Theory, 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings. Volume 6224 of Lecture Notes in Computer Science, pages 76-87, Springer, 2010. [doi]
@inproceedings{BerrimaR10,
title = {Linking Algebraic Observational Equivalence and Bisimulation},
author = {Mouhebeddine Berrima and Narjes Ben Rajeb},
year = {2010},
doi = {10.1007/978-3-642-14455-4_9},
url = {http://dx.doi.org/10.1007/978-3-642-14455-4_9},
tags = { algebra},
researchr = {https://researchr.org/publication/BerrimaR10},
cites = {0},
citedby = {0},
pages = {76-87},
booktitle = {Developments in Language Theory, 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings},
editor = {Yuan Gao and Hanlin Lu and Shinnosuke Seki and Sheng Yu},
volume = {6224},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-14454-7},
}