Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science)1990

by J. C. M. Baeten