@article{lenglet:hal-00903877, TITLE = {{Characterizing contextual equivalence in calculi with passivation}}, AUTHOR = {Lenglet, Sergue{\"i} and Schmitt, Alan and Stefani, Jean-Bernard}, URL = {https://inria.hal.science/hal-00903877}, JOURNAL = {{Information and Computation}}, PUBLISHER = {{Elsevier}}, VOLUME = {209}, NUMBER = {11}, PAGES = {1390-1433}, YEAR = {2011}, MONTH = Nov, DOI = {10.1016/j.ic.2011.08.002}, PDF = {https://inria.hal.science/hal-00903877/file/journal.pdf}, HAL_ID = {hal-00903877}, HAL_VERSION = {v1}, }