@article{aristizabal:hal-01590620, TITLE = {{Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation}}, AUTHOR = {Aristiz{\'a}bal, Andr{\'e}s and Biernacki, Dariusz and Lenglet, Sergue{\"i} and Polesiuk, Piotr}, URL = {https://inria.hal.science/hal-01590620}, NOTE = {Long version of the corresponding FSCD paper}, JOURNAL = {{Logical Methods in Computer Science}}, PUBLISHER = {{Logical Methods in Computer Science Association}}, VOLUME = {13}, NUMBER = {3}, YEAR = {2017}, MONTH = Sep, DOI = {10.23638/LMCS-13(3:27)2017}, HAL_ID = {hal-01590620}, HAL_VERSION = {v1}, }