Peter D Mosses
Peter D Mosses
Swansea University and Delft University of Technology
Verified email at tudelft.nl - Homepage
TitleCited byYear
Action semantics
PD Mosses
Cambridge University Press, 2005
4242005
Semantic domains and denotational semantics
DS Scott, CA Gunter, PD Mosses
TECHNICAL UNIV MUNICH (GERMANY), 1989
410*1989
Denotational semantics
PD Mosses
Formal Models and Semantics, 575-631, 1990
278*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
2742002
CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language. LNCS 2960
PD Mosses
SpringerVerlag, 2004
246*2004
Modular structural operational semantics
PD Mosses
The Journal of Logic and Algebraic Programming 60, 195-228, 2004
2262004
CASL User Manual: Introduction to Using the Common Algebraic Specification Language
M Bidoit, PD Mosses
Springer, 2003
1992003
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
Theory and practice of action semantics
PD Mosses
International Symposium on Mathematical Foundations of Computer Science, 37-61, 1996
891996
SIS-semantics implementation system: Reference manual and user guide
P Mosses
Computer Science Department, Aarhus Univ., 1979
891979
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
602003
Implicit propagation in structural operational semantics
PD Mosses, MJ New
Electronic Notes in Theoretical Computer Science 229 (4), 49-66, 2009
582009
Mathematical semantics and compiler generation
PD Mosses
University of Oxford, 1975
561975
The mathematical semantics of Algol 60
P Mosses
Oxford University Computing Laboratory, Programming Research Group, 1974
531974
The system can't perform the operation now. Try again later.
Articles 1–20