Algebraic Operational Semantics and Modula-2

Yuri Gurevich, James M. Morris. Algebraic Operational Semantics and Modula-2. In Egon Börger, Hans Kleine Büning, Michael M. Richter, editors, CSL 87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany, October 12-16, 1987, Proceedings. Volume 329 of Lecture Notes in Computer Science, pages 81-101, Springer, 1987.

Abstract

Abstract is missing.