Jan Friso Groote, Michel A. Reniers. Algebraic Process Verification. In Jan A. Bergstra, Alban Ponse, Scott A. Smolka, editors, Handbook of Process Algebra. pages 1151-1208, North-Holland / Elsevier, 2001. [doi]
@incollection{GrooteR01,
title = {Algebraic Process Verification},
author = {Jan Friso Groote and Michel A. Reniers},
year = {2001},
doi = {10.1016/b978-044482830-9/50035-7},
url = {https://doi.org/10.1016/b978-044482830-9/50035-7},
researchr = {https://researchr.org/publication/GrooteR01},
cites = {0},
citedby = {0},
pages = {1151-1208},
booktitle = {Handbook of Process Algebra},
editor = {Jan A. Bergstra and Alban Ponse and Scott A. Smolka},
publisher = {North-Holland / Elsevier},
isbn = {978-0-444-82830-9},
}