Verhoef, Chris
-
BRICS Report Series Nr. 24 (1999): RS-24 Conservative Extension in Structural Operational Semantics - Artikler
Conservative Extension in Structural Operational Semantics
Resumé PDF (English) -
BRICS Report Series Nr. 30 (1999): RS-30 Structural Operational Semantics - Artikler
Structural Operational Semantics
Resumé PDF (English)