A Brief History of Process Algebra (2004)

by J C M Baeten
Venue:Rapport CSR 04-02, Vakgroep Informatica, Technische Universiteit Eindhoven