Eva Graversen, Iain Phillips 0001, Nobuko Yoshida. Event Structure Semantics of (controlled) Reversible CCS. In Jarkko Kari, Irek Ulidowski, editors, Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings. Volume 11106 of Lecture Notes in Computer Science, pages 102-122, Springer, 2018. [doi]
Abstract is missing.