Mosses, Peter D.
-
DAIMI Report Series No. 118 (1980): PB-118 A Constructive Approach to Compiler Correctness - Articles
A Constructive Approach to Compiler Correctness
Abstract PDF -
DAIMI Report Series No. 145 (1982): PB-145 Abstract Semantic Algebras! - Articles
Abstract Semantic Algebras!
Abstract PDF -
DAIMI Report Series No. 370 (1991): PB-370 An Introduction to Action Semantics - Articles
An Introduction to Action Semantics
Abstract PDF -
DAIMI Report Series No. 416 (1992): PB-416 The Use of Sorts in Algebraic Specifications - Articles
The Use of Sorts in Algebraic Specifications
Abstract PDF -
DAIMI Report Series No. 418 (1992): PB-418 The Operational Semantics of Action Notation - Articles
The Operational Semantics of Action Notation
Abstract PDF -
DAIMI Report Series No. 424 (1992): PB-424 On the Action Semantics of Concurrent Programming Languages - Articles
On the Action Semantics of Concurrent Programming Languages
Abstract PDF -
DAIMI Report Series No. 266 (1988): PB-266 Unified Algebras and Modules - Articles
Unified Algebras and Modules
Abstract PDF -
DAIMI Report Series No. 188 (1985): PB-188 On Proving Limited Completeness - Articles
On Proving Limited Completeness
Abstract PDF -
DAIMI Report Series No. 272 (1988): PB-272 Unified Algebras and Action Semantics - Articles
Unified Algebras and Action Semantics
Abstract PDF -
DAIMI Report Series No. 274 (1989): PB-274 Unified Algebras and Institutions - Articles
Unified Algebras and Institutions
Abstract PDF -
DAIMI Report Series No. 132 (1981): PB-132 A Semantic Algebra for Binding Constructs - Articles
A Semantic Algebra for Binding Constructs
Abstract PDF -
DAIMI Report Series No. 206 (1986): PB-206 The Potential Use of Action Semantics in Standards - Articles
The Potential Use of Action Semantics in Standards
Abstract PDF -
DAIMI Report Series No. 217 (1986): PB-217 The Use of Action Semantics - Articles
The Use of Action Semantics
Abstract PDF -
DAIMI Report Series No. 452 (1993): PB-452 Communicative Action Notation with Shared Storage - Articles
Communicative Action Notation with Shared Storage
Abstract PDF -
DAIMI Report Series No. 276 (1989): PB-276 Semantic Domains and Denotational Semantics - Articles
Semantic Domains and Denotational Semantics
Abstract PDF -
DAIMI Report Series No. 461 (1993): PB-461 Rewriting Extended Regular Expressions - Articles
Rewriting Extended Regular Expressions
Abstract PDF