Michele Boreale, Paola Inverardi, Monica Nesi. Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences. Inf. Process. Lett., 43(3):155-160, 1992.
@article{BorealeIN92,
title = {Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences},
author = {Michele Boreale and Paola Inverardi and Monica Nesi},
year = {1992},
tags = {completeness},
researchr = {https://researchr.org/publication/BorealeIN92},
cites = {0},
citedby = {0},
journal = {Inf. Process. Lett.},
volume = {43},
number = {3},
pages = {155-160},
}