No. 24 (1999): RS-24 Conservative Extension in Structural Operational Semantics

Published: 1999-01-24

Articles