Mosses, Peter
Mosses, Peter D.
Mosses, Peter D., 1948-
Mosses, P D
Peter Mosses British computer scientist
VIAF ID: 728498 ( Personal )
Permalink: http://viaf.org/viaf/728498
Preferred Forms
- 100 1 _ ‡a Mosses, P D
- 100 1 0 ‡a Mosses, Peter
-
-
-
-
-
- 100 1 _ ‡a Mosses, Peter D.
- 100 1 _ ‡a Mosses, Peter D.
-
-
- 100 1 _ ‡a Mosses, Peter D. ‡d 1948-
-
- 100 0 _ ‡a Peter Mosses ‡c British computer scientist
4xx's: Alternate Name Forms (9)
Works
Title | Sources |
---|---|
Abstract semantic algebras! | |
Abstracts of the 6th Nordic Workshop on Programming Theory | |
Action semantics, 1992: | |
AS 2000 | |
AS '99 | |
CASL reference manual : the complete documentation of the Common Algebraic Specification Language | |
CASL user manual, c2004: | |
Communicative action notation with shared storage | |
A constructive approach to compiler correctness | |
The mathematical semantics of Algol 60 | |
On proving limiting completeness | |
Pragmatics of modular SOS | |
Proceedings of the Workshop on Applicability of Formal Methods, AFM '98 | |
Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers | |
Revised and expanded versions of papers presented | |
Rⁿ- and Gⁿ-logics | |
Selected papers of TAPSOFT '95 / guest eds: P. D. Mosses, M. Nielsen, M. I. Schwartzbach. - Amsterdam, 1996. | |
Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday | |
SIS, Semantics Implementation System, tested examples | |
TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings | |
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics : International Conference IFIP TCS 2000 Sendai, Japan, August 17–19, 2000 Proceedings | |
Unified algebras and modules | |
WADT 2004 | |
A ¤modular SOS for action notation |