Algebraic process veri (2001)

by J F Groote, M A Reniers
Venue:Handbook of Process Algebra, chapter 17