%0 Journal Article %1 journals/jlap/GraversenPY21 %A Graversen, Eva %A Phillips, Iain C. C. %A Yoshida, Nobuko %D 2021 %J J. Log. Algebraic Methods Program. %K dblp %P 100686 %T Event structure semantics of (controlled) reversible CCS. %U http://dblp.uni-trier.de/db/journals/jlap/jlap121.html#GraversenPY21 %V 121

@article{journals/jlap/GraversenPY21, added-at = {2022-10-02T00:00:00.000+0200}, author = {Graversen, Eva and Phillips, Iain C. C. and Yoshida, Nobuko}, biburl = {https://www.bibsonomy.org/bibtex/24b695e4c9a2233f43a05a9a6fbc5c9cc/dblp}, ee = {https://doi.org/10.1016/j.jlamp.2021.100686}, interhash = {32af20c6f54f35e8bc15e9e439ae9183}, intrahash = {4b695e4c9a2233f43a05a9a6fbc5c9cc}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, pages = 100686, timestamp = {2024-04-09T05:08:11.000+0200}, title = {Event structure semantics of (controlled) reversible CCS.}, url = {http://dblp.uni-trier.de/db/journals/jlap/jlap121.html#GraversenPY21}, volume = 121, year = 2021 }