Modular structural operational semantics
β
Peter D Mosses
π
Article
π
2004
π
Elsevier Science
π
English
β 328 KB