@article{biernacki:hal-02307669, TITLE = {{Bisimulations for Delimited-Control Operators}}, AUTHOR = {Biernacki, Dariusz and Lenglet, Sergue{\"i} and Polesiuk, Piotr}, URL = {https://inria.hal.science/hal-02307669}, JOURNAL = {{Logical Methods in Computer Science}}, PUBLISHER = {{Logical Methods in Computer Science Association}}, VOLUME = {15}, NUMBER = {2}, PAGES = {18:1-18:57}, YEAR = {2019}, MONTH = Jun, DOI = {10.23638/LMCS-15(2:18)2019}, HAL_ID = {hal-02307669}, HAL_VERSION = {v1}, }