Structural Operational Semantics (1999)

by Luca Aceto , Wan Fokkink , Chris Verhoef
Venue:Handbook of Process Algebra
Citations:125 - 19 self