Structural operational semantics (2001)

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