Elsevier, Journal of Logical and Algebraic Methods in Programming, (129), p. 100799, 2022
DOI: 10.1016/j.jlamp.2022.100799
Full text: Download
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…