Applications of Process Algebra, volume 17 of Cambridge Tracts (1990)

by J C M Baeten
Venue:in Theoretical Computer Science