@misc{indiciaedc938af38052, title = {Processes, Systems and Tests: Defining Contextual Equivalences}, author = {Clément Aubert and Daniele Varacca}, year = {2021}, doi = {10.4204/eptcs.347.1}, url = {https://arxiv.org/abs/2007.08187}, note = {Source identifier: 2007.08187} }