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. 49 (1997): RS-49 CASL for ASF+SDF Users - Articles
  CASL for ASF+SDF Users
  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. 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. 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. 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. 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. 54 (1999): RS-54 Foundations of Modular SOS - Articles
  Foundations of Modular SOS
  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. 51 (2000): RS-51 CASL for CafeOBJ Users - Articles
  CASL for CafeOBJ Users
  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. 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. 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