Peter D. Mosses

No bio available. Add one in Open Library.

Books by Peter D. Mosses (50 max)

+ shelf+ list

TAPSOFT '95: theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings

1995

International Joint Conference on Theory and Practice of Software Development (6th 1995 Aarhus, Denmark), Portugal) ETAPS 98 (1998 : Lisbon, Mogens Nielsen, Peter D. Mosses, Denmark) Colloquium on Trees in Algebra and Programming (1995 : Aarhus, Michael I. Schwartzbach

+ shelf+ list

CASL User Manual: Introduction to Using the Common Algebraic Specification Language (Lecture Notes in Computer Science)

2003

Michel Bidoit, Peter D. Mosses

+ shelf+ list

CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language (Lecture Notes in Computer Science)

2004

Peter D. Mosses

+ shelf+ list

Action semantics

1992

Peter D. Mosses

+ shelf+ list

Action Semantics (Cambridge Tracts in Theoretical Computer Science)

2005

Peter D. Mosses

+ shelf+ list

TAPSOFT '95

Portugal) ETAPS 98 (1998 : Lisbon, Mogens Nielsen, Peter D. Mosses, Denmark) Colloquium on Trees in Algebra and Programming (1995 : Aarhus, Michael I. Schwartzbach