@inproceedings{biernacki:hal-00903839, TITLE = {{Environmental Bisimulations for Delimited-Control Operators}}, AUTHOR = {Biernacki, Dariusz and Lenglet, Sergue{\"i}}, URL = {https://inria.hal.science/hal-00903839}, BOOKTITLE = {{APLAS - 11th Asian Symposium on Programming Languages and Systems - 2013}}, ADDRESS = {Melbourne, Australia}, EDITOR = {Chung-chieh Shan}, PUBLISHER = {{Springer}}, SERIES = {LNCS}, VOLUME = {8301}, PAGES = {333-348}, YEAR = {2013}, MONTH = Dec, PDF = {https://inria.hal.science/hal-00903839/file/aplas.pdf}, HAL_ID = {hal-00903839}, HAL_VERSION = {v1}, }