Semantic domains D Scott, C Gunter Handbook of Theoretical Computer Science, J. van Leeuwen (ed), North Holland …, 1990 | 444* | 1990 |
Action Semantics AS’99 PD Mosses, DA Watt | 443 | 1999 |
CASL: the common algebraic specification language E Astesiano, M Bidoit, H Kirchner, B Krieg-Brückner, PD Mosses, ... Theoretical Computer Science 286 (2), 153-196, 2002 | 328 | 2002 |
Denotational semantics PD Mosses Formal Models and Semantics, 575-631, 1990 | 295 | 1990 |
CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language. LNCS 2960 PD Mosses SpringerVerlag, 2004 | 289* | 2004 |
Modular structural operational semantics PD Mosses The Journal of Logic and Algebraic Programming 60, 195-228, 2004 | 272 | 2004 |
CASL User Manual: Introduction to Using the Common Algebraic Specification Language M Bidoit, PD Mosses Springer Science & Business Media, 2004 | 228 | 2004 |
Unified algebras and institutions PD Mosses DAIMI Report Series, 1989 | 129 | 1989 |
Abstract semantic algebras! PD Mosses DAIMI Report Series, 1982 | 108 | 1982 |
CoFI: The common framework initiative for algebraic specification and development PD Mosses Colloquium on Trees in Algebra and Programming, 115-137, 1997 | 97 | 1997 |
Theory and practice of action semantics PD Mosses International Symposium on Mathematical Foundations of Computer Science, 37-61, 1996 | 96 | 1996 |
SIS-semantics implementation system: Reference manual and user guide P Mosses Computer Science Department, Aarhus Univ., 1979 | 95 | 1979 |
Foundations of modular SOS PD Mosses Mathematical Foundations of Computer Science 1999: 24th International …, 1999 | 93 | 1999 |
Unified algebras and action semantics PD Mosses Annual Symposium on Theoretical Aspects of Computer Science, 17-35, 1989 | 72 | 1989 |
The use of action semantics PD Mosses, DA Watt Aarhus Universitet, Matematisk Institut, Datalogisk Afdeling, 1986 | 71 | 1986 |
A constructive approach to compiler correctness P Mosses International Colloquium on Automata, Languages, and Programming, 449-469, 1980 | 70 | 1980 |
Mathematical semantics and compiler generation P Mosses University of Oxford, 1975 | 69 | 1975 |
Rewriting extended regular expressions VM Antimirov, PD Mosses Theoretical Computer Science 143 (1), 51-72, 1995 | 66 | 1995 |
Implicit propagation in structural operational semantics PD Mosses, MJ New Electronic Notes in Theoretical Computer Science 229 (4), 49-66, 2009 | 64 | 2009 |
Composing programming languages by combining action-semantics modules KG Doh, PD Mosses Science of Computer Programming 47 (1), 3-36, 2003 | 62 | 2003 |