Introduction to Process Algebra (2000)

by W Fokkink
Venue:Texts in Theoretical Computer Science