An Action Semantics Based on Two Combinators

Kyung-Goo Doh, David A. Schmidt. An Action Semantics Based on Two Combinators. In Jens Palsberg, editor, Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday. Volume 5700 of Lecture Notes in Computer Science, pages 274-296, Springer, 2009. [doi]

Abstract

Abstract is missing.