C.: Structural Operational Semantics, in: (2001)

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