Peter D Mosses
Peter D Mosses
Swansea University and Delft University of Technology
Verified email at swan.ac.uk - Homepage
TitleCited byYear
Action semantics
PD Mosses
Cambridge University Press, 2005
4192005
Semantic domains and denotational semantics
DS Scott, CA Gunter, PD Mosses
TECHNICAL UNIV MUNICH (GERMANY), 1989
409*1989
Denotational semantics
PD Mosses
Formal Models and Semantics, 575-631, 1990
275*1990
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
2702002
CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language. LNCS 2960
PD Mosses
SpringerVerlag, 2004
240*2004
Modular structural operational semantics
PD Mosses
The Journal of Logic and Algebraic Programming 60, 195-228, 2004
2202004
CASL User Manual: Introduction to Using the Common Algebraic Specification Language
M Bidoit, PD Mosses
Springer, 2003
1962003
Unified algebras and institutions
PD Mosses
DAIMI Report Series, 1989
1241989
Abstract semantic algebras!
PD Mosses
DAIMI Report Series, 1982
1041982
CoFI: The common framework initiative for algebraic specification and development
PD Mosses
Colloquium on Trees in Algebra and Programming, 115-137, 1997
941997
SIS-semantics implementation system: Reference manual and user guide
P Mosses
Computer Science Department, Aarhus Univ., 1979
891979
Theory and practice of action semantics
PD Mosses
International Symposium on Mathematical Foundations of Computer Science, 37-61, 1996
871996
Foundations of modular SOS
PD Mosses
International Symposium on Mathematical Foundations of Computer Science, 70-80, 1999
861999
Unified algebras and action semantics
PD Mosses
Annual Symposium on Theoretical Aspects of Computer Science, 17-35, 1989
641989
The use of action semantics
PD Mosses, DA Watt
Aarhus Universitet, Matematisk Institut, Datalogisk Afdeling, 1986
641986
A constructive approach to compiler correctness
P Mosses
International Colloquium on Automata, Languages, and Programming, 449-469, 1980
611980
Composing programming languages by combining action-semantics modules
KG Doh, PD Mosses
Science of Computer Programming 47 (1), 3-36, 2003
592003
Implicit propagation in structural operational semantics
PD Mosses, MJ New
Electronic Notes in Theoretical Computer Science 229 (4), 49-66, 2009
562009
Mathematical semantics and compiler generation
PD Mosses
University of Oxford, 1975
541975
Rewriting extended regular expressions
VM Antimirov, PD Mosses
Theoretical Computer Science 143 (1), 51-72, 1995
521995
The system can't perform the operation now. Try again later.
Articles 1–20