TY - RPRT TI - Compositional equivalences based on Open pNets AU - Rabéa Ameur-Boulifa AU - Ludovic Henrio AU - Eric Madelaine PY - 2021 UR - https://arxiv.org/abs/2007.10770 ID - 2007.10770 ER -