%0 Conference Paper %1 conf/cmcs/PousRT22 %A Pous, Damien %A Rot, Jurriaan %A Turkenburg, Ruben %B CMCS %D 2022 %E Hansen, Helle Hvid %E Zanasi, Fabio %I Springer %K dblp %P 133-154 %T Corecursion Up-to via Causal Transformations. %U http://dblp.uni-trier.de/db/conf/cmcs/cmcs2022.html#PousRT22 %V 13225 %@ 978-3-031-10736-8

@inproceedings{conf/cmcs/PousRT22, added-at = {2022-08-08T00:00:00.000+0200}, author = {Pous, Damien and Rot, Jurriaan and Turkenburg, Ruben}, biburl = {https://www.bibsonomy.org/bibtex/2e42d42988970af2cef10e631be9498c2/dblp}, booktitle = {CMCS}, crossref = {conf/cmcs/2022}, editor = {Hansen, Helle Hvid and Zanasi, Fabio}, ee = {https://doi.org/10.1007/978-3-031-10736-8_7}, interhash = {88052f330710d009f811cd5232978521}, intrahash = {e42d42988970af2cef10e631be9498c2}, isbn = {978-3-031-10736-8}, keywords = {dblp}, pages = {133-154}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T09:40:57.000+0200}, title = {Corecursion Up-to via Causal Transformations.}, url = {http://dblp.uni-trier.de/db/conf/cmcs/cmcs2022.html#PousRT22}, volume = 13225, year = 2022 }