Structural Operational Semantics (1999)

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

Document Versions

Structural Operational Semantics –Luca Aceto, Wan Fokkink, Chris Verhoef — 1999 — Handbook of Process Algebra
Structural Operational Semantics –Luca Aceto, Wan Fokkink, Chris Verhoef — 1999