C.: Structural operational semantics (2001)

by L Aceto, W J Fokkink, Verhoef
Venue:In: Handbook of Process Algebra, Chapter 3