%0 Conference Paper %1 conf/rc/Graversen0Y20 %A Graversen, Eva %A Phillips, Iain %A Yoshida, Nobuko %B RC %D 2020 %E Lanese, Ivan %E Rawski, Mariusz %I Springer %K dblp %P 71-90 %T Event Structures for the Reversible Early Internal π-Calculus. %U http://dblp.uni-trier.de/db/conf/rc/rc2020.html#Graversen0Y20 %V 12227 %@ 978-3-030-52482-1

@inproceedings{conf/rc/Graversen0Y20, added-at = {2022-10-02T00:00:00.000+0200}, author = {Graversen, Eva and Phillips, Iain and Yoshida, Nobuko}, biburl = {https://www.bibsonomy.org/bibtex/221ccf5c53dfca7b9a4a5fb0d52229f86/dblp}, booktitle = {RC}, crossref = {conf/rc/2020}, editor = {Lanese, Ivan and Rawski, Mariusz}, ee = {https://doi.org/10.1007/978-3-030-52482-1_4}, interhash = {d8bd197a05455999863240fcd2c83ad1}, intrahash = {21ccf5c53dfca7b9a4a5fb0d52229f86}, isbn = {978-3-030-52482-1}, keywords = {dblp}, pages = {71-90}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T08:53:05.000+0200}, title = {Event Structures for the Reversible Early Internal π-Calculus.}, url = {http://dblp.uni-trier.de/db/conf/rc/rc2020.html#Graversen0Y20}, volume = 12227, year = 2020 }