Wan Fokkink, Jan Friso Groote, Michel A. Reniers. Process Algebra Needs Proof Methodology (Columns: Concurrency). Bulletin of the EATCS, 82:109-125, 2004. [doi]
@article{FokkinkGR04,
title = {Process Algebra Needs Proof Methodology (Columns: Concurrency)},
author = {Wan Fokkink and Jan Friso Groote and Michel A. Reniers},
year = {2004},
url = {http://www.cs.auc.dk//~luca/BEATCS/colConc82.pdf},
tags = {process algebra, algebra},
researchr = {https://researchr.org/publication/FokkinkGR04},
cites = {0},
citedby = {0},
journal = {Bulletin of the EATCS},
volume = {82},
pages = {109-125},
}