Compositional equivalences based on open pNets

Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine. Compositional equivalences based on open pNets. J. Log. Algebr. Meth. Program., 131:100842, February 2023. [doi]

Abstract

Abstract is missing.