Structural Operational Semantics (1999)

by Luca Aceto, Wan Fokkink, Chris Verhoef
Venue:Handbook of Process Algebra