Process Algebra, volume 18 of Cambridge Tracts (1990)

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