Published in

Elsevier, Journal of Logical and Algebraic Methods in Programming, (129), p. 100799, 2022

DOI: 10.1016/j.jlamp.2022.100799



Export citation

Search in Google Scholar

Processes against tests: On defining contextual equivalences

Journal article published in 2022 by Clément Aubert ORCID, Daniele Varacca
This paper is available in a repository.
This paper is available in a repository.

Full text: Download

Green circle
Preprint: archiving allowed
Red circle
Postprint: archiving forbidden
Red circle
Published version: archiving forbidden
Data provided by SHERPA/RoMEO


In this paper, we would like to offer and defend a template to study equivalences between programs—in the particular framework of process algebras for…