@techreport{biernacki:hal-01207112, TITLE = {{Bisimulations for Delimited-Control Operators}}, AUTHOR = {Biernacki, Dariusz and Lenglet, Sergue{\"i} and Polesiuk, Piotr}, URL = {https://inria.hal.science/hal-01207112}, TYPE = {Research Report}, NUMBER = {RR-9096}, INSTITUTION = {{Inria Nancy - Grand Est}}, YEAR = {2017}, MONTH = Sep, PDF = {https://inria.hal.science/hal-01207112v3/file/RR-9096.pdf}, HAL_ID = {hal-01207112}, HAL_VERSION = {v3}, }