%0 Conference Paper %1 conf/rc/Lanese021 %A Lanese, Ivan %A Phillips, Iain %B RC %D 2021 %E Yamashita, Shigeru %E Yokoyama, Tetsuo %I Springer %K dblp %P 126-143 %T Forward-Reverse Observational Equivalences in CCSK. %U http://dblp.uni-trier.de/db/conf/rc/rc2021.html#Lanese021 %V 12805 %@ 978-3-030-79837-6

@inproceedings{conf/rc/Lanese021, added-at = {2021-07-13T00:00:00.000+0200}, author = {Lanese, Ivan and Phillips, Iain}, biburl = {https://www.bibsonomy.org/bibtex/28518acdfc16246b59e5496002e465a6d/dblp}, booktitle = {RC}, crossref = {conf/rc/2021}, editor = {Yamashita, Shigeru and Yokoyama, Tetsuo}, ee = {https://doi.org/10.1007/978-3-030-79837-6_8}, interhash = {163d8c66cb942527bb2f3bfa645b92e3}, intrahash = {8518acdfc16246b59e5496002e465a6d}, isbn = {978-3-030-79837-6}, keywords = {dblp}, pages = {126-143}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T09:39:48.000+0200}, title = {Forward-Reverse Observational Equivalences in CCSK.}, url = {http://dblp.uni-trier.de/db/conf/rc/rc2021.html#Lanese021}, volume = 12805, year = 2021 }