Mosses, Peter D.
-
BRICS Report Series No. 8 (2005): RS-8 Exploiting Labels in Structural Operational Semantics - Articles
Exploiting Labels in Structural Operational Semantics
Abstract PDF -
BRICS Report Series No. 48 (1997): RS-48 CoFI: The Common Framework Initiative for Algebraic Specification and Development - Articles
CoFI: The Common Framework Initiative for Algebraic Specification and Development
Abstract PDF -
BRICS Report Series No. 49 (1997): RS-49 CASL for ASF+SDF Users - Articles
CASL for ASF+SDF Users
Abstract PDF -
BRICS Report Series No. 43 (1998): RS-43 CASL: A Guided Tour of its Design - Articles
CASL: A Guided Tour of its Design
Abstract PDF -
BRICS Report Series No. 54 (1999): RS-54 Foundations of Modular SOS - Articles
Foundations of Modular SOS
Abstract PDF -
BRICS Report Series No. 20 (1994): RS-20 An Action Semantics for ML Concurrency Primitives - Articles
An Action Semantics for ML Concurrency Primitives
Abstract PDF -
BRICS Report Series No. 5 (1994): RS-5 Unified Algebras and Abstract Syntax - Articles
Unified Algebras and Abstract Syntax
Abstract PDF -
BRICS Report Series No. 52 (2003): RS-52 Pragmatics of Modular SOS - Articles
Pragmatics of Modular SOS
Abstract PDF -
BRICS Report Series No. 7 (2005): RS-7 Modular Structural Operational Semantics - Articles
Modular Structural Operational Semantics
Abstract PDF -
BRICS Report Series No. 42 (1998): RS-42 Semantics, Modularity, and Rewriting Logic - Articles
Semantics, Modularity, and Rewriting Logic
Abstract PDF -
BRICS Report Series No. 53 (1996): RS-53 Theory and Practice of Action Semantics - Articles
Theory and Practice of Action Semantics
Abstract PDF -
BRICS Report Series No. 50 (2000): RS-50 Modularity in Meta-Languages - Articles
Modularity in Meta-Languages
Abstract PDF -
BRICS Report Series No. 51 (2000): RS-51 CASL for CafeOBJ Users - Articles
CASL for CafeOBJ Users
Abstract PDF -
BRICS Report Series No. 55 (1999): RS-55 Logical Specification of Operational Semantics - Articles
Logical Specification of Operational Semantics
Abstract PDF -
BRICS Report Series No. 56 (1999): RS-56 A Modular SOS for Action Notation - Articles
A Modular SOS for Action Notation
Abstract PDF -
BRICS Report Series No. 57 (1999): RS-57 A Modular SOS for ML Concurrency Primitives - Articles
A Modular SOS for ML Concurrency Primitives
Abstract PDF -
BRICS Report Series No. 53 (2003): RS-53 Composing Programming Languages by Combining Action-Semantics Modules - Articles
Composing Programming Languages by Combining Action-Semantics Modules
Abstract PDF -
BRICS Report Series No. 37 (2004): RS-37 Constructive Action Semantics for Core ML - Articles
Constructive Action Semantics for Core ML
Abstract PDF -
BRICS Report Series No. 51 (1996): RS-51 Rn and Gn Logics - Articles
Rn and Gn Logics
Abstract PDF -
BRICS Report Series No. 52 (1996): RS-52 Combining Algebraic and Set-Theoretic Specifications (Extended Version) - Articles
Combining Algebraic and Set-Theoretic Specifications (Extended Version)
Abstract PDF -
BRICS Report Series No. 36 (2004): RS-36 An Action Environment - Articles
An Action Environment
Abstract PDF