%0 Conference Paper %1 conf/rc/GraversenPY18 %A Graversen, Eva %A Phillips, Iain %A Yoshida, Nobuko %B RC %D 2018 %E Kari, Jarkko %E Ulidowski, Irek %I Springer %K dblp %P 102-122 %T Event Structure Semantics of (controlled) Reversible CCS. %U http://dblp.uni-trier.de/db/conf/rc/rc2018.html#GraversenPY18 %V 11106 %@ 978-3-319-99498-7

@inproceedings{conf/rc/GraversenPY18, added-at = {2022-10-02T00:00:00.000+0200}, author = {Graversen, Eva and Phillips, Iain and Yoshida, Nobuko}, biburl = {https://www.bibsonomy.org/bibtex/207f643f6b69feb4fc18ab68b3b4e3fce/dblp}, booktitle = {RC}, crossref = {conf/rc/2018}, editor = {Kari, Jarkko and Ulidowski, Irek}, ee = {https://doi.org/10.1007/978-3-319-99498-7_7}, interhash = {8a670475795aaaac884877593ce64a53}, intrahash = {07f643f6b69feb4fc18ab68b3b4e3fce}, isbn = {978-3-319-99498-7}, keywords = {dblp}, pages = {102-122}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T08:53:06.000+0200}, title = {Event Structure Semantics of (controlled) Reversible CCS.}, url = {http://dblp.uni-trier.de/db/conf/rc/rc2018.html#GraversenPY18}, volume = 11106, year = 2018 }