@inproceedings{biernacki:hal-02136002, TITLE = {{Diacritical Companions}}, AUTHOR = {Biernacki, Dariusz and Lenglet, Sergue{\"i} and Polesiuk, Piotr}, URL = {https://inria.hal.science/hal-02136002}, BOOKTITLE = {{MFPS 2019-Mathematical Foundations of Programming Semantics XXXV}}, ADDRESS = {London, United Kingdom}, YEAR = {2019}, MONTH = Jun, DOI = {10.1016/j.entcs.2019.09.003}, KEYWORDS = {coinduction ; bisimulation ; up-to technique ; diacritical progress ; companion}, PDF = {https://inria.hal.science/hal-02136002/file/companion.pdf}, HAL_ID = {hal-02136002}, HAL_VERSION = {v1}, }