Flavio Corradini, Marco Pistore. Closed Interval Process Algebra versus Interval Process Algebra . Acta Informatica, 37(7):467-509, 2001. [doi]
@article{CorradiniP01,
title = { Closed Interval Process Algebra versus Interval Process Algebra },
author = {Flavio Corradini and Marco Pistore},
year = {2001},
url = {http://link.springer.de/link/service/journals/00236/bibs/1037007/10370467.htm},
tags = {process algebra, algebra},
researchr = {https://researchr.org/publication/CorradiniP01},
cites = {0},
citedby = {0},
journal = {Acta Informatica},
volume = {37},
number = {7},
pages = {467-509},
}