Handbook of Process Algebra

Jan A. Bergstra, Alban Ponse, Scott A. Smolka, editors, Handbook of Process Algebra. North-Holland / Elsevier, 2001. [doi]

Bibliographies