Introduction to Process Algebra (1999)

by W J Fokkink
Venue:Texts in Theoretical Computer Science, an EATCS Series