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