Introduction to Process Algebra, (2000)

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