%0 Journal Article %1 journals/jlp/Armas-Cervantes16 %A Armas-Cervantes, Abel %A Baldan, Paolo %A García-Bañuelos, Luciano %D 2016 %J J. Log. Algebraic Methods Program. %K dblp %N 6 %P 1110-1130 %T Reduction of event structures under history preserving bisimulation. %U http://dblp.uni-trier.de/db/journals/jlp/jlp85.html#Armas-Cervantes16 %V 85

@article{journals/jlp/Armas-Cervantes16, added-at = {2021-02-16T00:00:00.000+0100}, author = {Armas-Cervantes, Abel and Baldan, Paolo and García-Bañuelos, Luciano}, biburl = {https://www.bibsonomy.org/bibtex/2604c513510f5ce9206f5a0000aebf512/dblp}, ee = {https://doi.org/10.1016/j.jlamp.2015.10.004}, interhash = {7431ea402b430b7489656a2944cc86d8}, intrahash = {604c513510f5ce9206f5a0000aebf512}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, number = 6, pages = {1110-1130}, timestamp = {2024-04-08T10:50:46.000+0200}, title = {Reduction of event structures under history preserving bisimulation.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp85.html#Armas-Cervantes16}, volume = 85, year = 2016 }