The expressive power of structural operational semantics with explicit assumptions

Miculan Marino
1994-01-01
Cite DOI PDF
Type
Conference paper