Process Algebra, volume 18 of Cambridge Tracts (1990)

by J C M Baeten, W P Weijland
Venue:in Theoretical Computer Science