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