Verhoef, Chris
-
BRICS Report Series No. 24 (1999): RS-24 Conservative Extension in Structural Operational Semantics - Articles
Conservative Extension in Structural Operational Semantics
Abstract PDF -
BRICS Report Series No. 30 (1999): RS-30 Structural Operational Semantics - Articles
Structural Operational Semantics
Abstract PDF