Algebraic Process Verification (0)

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