Peter D Mosses

Peter D Mosses

Delft University of Technology - Delft / Netherlands
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 4349858
Technische Universiteit Delft
person_outline Peter D Mosses's MOST POPULAR ARTICLES
1-) Semantic domainsD Scott, C GunterHandbook of Theoretical Computer Science, J. van Leeuwen (ed), North Holland …, 1990446*1990
2-) Action Semantics AS’99PD Mosses, DA Watt4451999
3-) CASL: the common algebraic specification languageE Astesiano, M Bidoit, H Kirchner, B Krieg-Brückner, PD Mosses, ...Theoretical Computer Science 286 (2), 153-196, 20023022002
4-) CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language. LNCS 2960PD MossesSpringerVerlag, 2004302*2004
5-) Denotational semanticsPD MossesFormal Models and Semantics, 575-631, 19902961990