Jan A. Bergstra, C. A. Middelburg. Meadow Enriched ACP Process Algebras. CoRR, abs/0901.3012, 2009. [doi]
@article{abs-0901-3012, title = {Meadow Enriched ACP Process Algebras}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2009}, url = {http://arxiv.org/abs/0901.3012}, note = {informal publication}, tags = {process algebra, C++, algebra}, researchr = {https://researchr.org/publication/abs-0901-3012}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0901.3012}, }