Constructive Action Semantics in OBJ - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Peter D. Mosses. Constructive Action Semantics in OBJ. In Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer, editors, Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Volume 4060 of Lecture Notes in Computer Science, pages 281-295, Springer, 2006. [doi]

The following publications are possibly variants of this publication:

A Constructive Approach to Language DefinitionPeter D. Mosses. jucs, 11(7):1117-1134, 2005. [doi]

Action SemanticsPeter D. Mosses. adt 1986:

Unified Algebras and Action SemanticsPeter D. Mosses. STACS 1989: 17-35

Theory and Practice of Action SemanticsPeter D. Mosses. mfcs 1996: 37-61

runs on WebDSL