W.P.: Process Algebra, Cambridge Tracts in Theoretical (1990)

by J C M Baeten, Weijland
Venue:Computer Science