Skip to content

Algebraic Operational Semantics and Modula-2.

Yuri Gurevich, James M. Morris

VenueBCSL
Year1987
ProceedingsCSL

Browse the full CSL paper archive.