The Semantics of Semantic Equations. - Peter D. Mosses (MFCS, 1974)

Mathematical semantics and compiler generation. - Peter David Mosses (1975)

Compiler Generation Using Denotational Semantics. - Peter D. Mosses (MFCS, 1976)

A Constructive Approach to Compiler Correctness. - Peter D. Mosses (ICALP, 1980)

A Semantic Algebra for Binding Constructs. - Peter D. Mosses (ICFPC, 1981)

Abstract Semantic Algebras. - Peter D. Mosses (Formal Description of Programming Concepts, 1982)

A Solution to Problem 7 - Parallel Combinator Reduction Machine -. - Peter D. Mosses (The Analysis of Concurrent Systems, 1983)

A Basic Abstract Semantic Algebra. - Peter D. Mosses (Semantics of Data Types, 1984)

Action Semantics. - Peter D. Mosses (ADT, 1986)

The use of action semantics. - Peter D. Mosses; David A. Watt (Formal Description of Programming Concepts, 1987)

On Proving Limiting Completeness. - Peter D. Mosses; Gordon D. Plotkin (SIAM J. Comput., 1987)

Unified Algebras. - Peter D. Mosses (ADT, 1988)

A Practical Introduction to Denotational Semantics. - Peter D. Mosses (Formal Description of Programming Concepts, 1989)

Unified Algebras and Institutions - Peter D. Mosses (LICS, 1989)

Unified Algebras and Modules. - Peter D. Mosses (POPL, 1989)

Unified Algebras and Action Semantics. - Peter D. Mosses (STACS, 1989)

Denotational Semantics. - Peter D. Mosses (Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), 1990)

The Use of Sorts in Algebraic Specifications. - Peter D. Mosses (COMPASS/ADT, 1991)

Unified Algebras and Abstract Syntax. - Peter D. Mosses (COMPASS/ADT, 1992)

Specifying Asynchronous Transfer of Control. - Padmanabhan Krishnan; Peter D. Mosses (FTRTFT, 1992)

On the Action Semantics of Concurrent Programming Languages. - Peter D. Mosses (REX Workshop, 1992)

Executing Action Semantic Descriptions using ASF+SDF. - Arie van Deursen; Peter D. Mosses (AMAST, 1993)

An Action Semantics for ML Concurrency Primitives. - Peter D. Mosses; Martin A. Musicante (FME, 1994)

Combining Algebraic and Set-Theoretic Specifications. - Claus Hintermeier; Hélène Kirchner; Peter D. Mosses (COMPASS/ADT, 1995)

Rn- and Gn-Logics. - Claus Hintermeier; Hélène Kirchner; Peter D. Mosses (HOA, 1995)

Rewriting Extended Regular Expressions. - Valentin M. Antimirov; Peter D. Mosses (Theor. Comput. Sci., 1995)

ASD: The Action Semantic Description Tools. - Arie van Deursen; Peter D. Mosses (AMAST, 1996)

Theory and Practice of Action Semantics. - Peter D. Mosses (MFCS, 1996)

CoFI: The Common Framework Initiative for Algebraic Specification. - Peter D. Mosses (Bull. EATCS, 1996)

Valentin M. Antimirov (1961-1995). - Gregory Kucherov; Pierre Lescanne; Peter D. Mosses (Theor. Comput. Sci., 1996)

Foreword: Special Volume of TAPSOFT 1995 Papers. - Peter D. Mosses; Mogens Nielsen; Michael I. Schwartzbach (Theor. Comput. Sci., 1996)

CoFI: The Common Framework Initiative for Algebraic Specification and Development. - Peter D. Mosses (TAPSOFT, 1997)

CASL: A Guided Tour of Its Design. - Peter D. Mosses (WADT, 1998)

Semantics, modularity, and rewriting logic. - Peter D. Mosses (WRLA, 1998)

Logical Specification of Operational Semantics. - Peter D. Mosses (CSL, 1999)

Foundations of Modular SOS. - Peter D. Mosses (MFCS, 1999)

Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. - Christiano de Oliveira Braga; Edward Hermann Haeusler; José Meseguer 001; Peter D. Mosses (AMAST, 2000)

The Varieties of Programming Language Semantics. - Peter D. Mosses (IFIP TCS, 2000)

A Foreword to 'Fundamental Concepts in Programming Languages'. - Peter D. Mosses (High. Order Symb. Comput., 2000)

CoFI: The Common Framework Initiative for Algebraic Specification and Development. - Peter D. Mosses (Current Trends in Theoretical Computer Science, 2001)

Algebraic Specifications, Higher-order Types and Set-theoretic Models. - Hélène Kirchner; Peter D. Mosses (J. Log. Comput., 2001)

Pragmatics of Modular SOS. - Peter D. Mosses (AMAST, 2002)

Mapping Modular SOS to Rewriting Logic. - Christiano de Oliveira Braga; Edward Hermann Haeusler; José Meseguer 001; Peter D. Mosses (LOPSTR, 2002)

Action Semantics and ASF+SDF: System Demonstration. - Peter D. Mosses (LDTA@ETAPS, 2002)

CASL: the Common Algebraic Specification Language. - Egidio Astesiano; Michel Bidoit; Hélène Kirchner; Bernd Krieg-Brückner; Peter D. Mosses; Donald Sannella; Andrzej Tarlecki (Theor. Comput. Sci., 2002)

Composing programming languages by combining action-semantics modules. - Kyung-Goo Doh; Peter D. Mosses (Sci. Comput. Program., 2003)

Casl User Manual - Introduction to Using the Common Algebraic Specification Language - Michel Bidoit; Peter D. Mosses (Springer, 2004)

CASL Reference Manual, The Complete Documentation of the Common Algebraic Specification Language - Peter D. Mosses (Springer, 2004)

Modular Language Descriptions. - Peter D. Mosses (GPCE, 2004)

The Action Environment: – Tool Demonstration –. - Mark van den Brand; Jørgen Iversen; Peter D. Mosses (LDTA@ETAPS, 2004)

Formal Semantics of Programming Languages: - An Overview - . - Peter D. Mosses (FoVMT, 2004)

Exploiting Labels in Structural Operational Semantics. - Peter D. Mosses (Fundam. Informaticae, 2004)

Modular structural operational semantics. - Peter D. Mosses (J. Log. Algebraic Methods Program., 2004)

Constructive Action Semantics for Core ML. - Jørgen Iversen; Peter D. Mosses (IEE Proc. Softw., 2005)

A Constructive Approach to Language Definition. - Peter D. Mosses (J. Univers. Comput. Sci., 2005)

Constructive Action Semantics in OBJ. - Peter D. Mosses (Essays Dedicated to Joseph A. Goguen, 2006)

Preface. - Rob J. van Glabbeek; Peter D. Mosses (SOS@CONCUR, 2006)

An Action Environment. - Mark van den Brand; Jørgen Iversen; Peter D. Mosses (Sci. Comput. Program., 2006)

Preface. - Peter D. Mosses; Irek Ulidowski (Theor. Comput. Sci., 2007)

Component-Based Description of Programming Languages. - Peter D. Mosses (BCS Int. Acad. Conf., 2008)

Implicit Propagation in Structural Operational Semantics. - Peter D. Mosses; Mark J. New (SOS@ICALP, 2008)

SBLP 2008: XII Brazilian Symposium on Programming. - Marco Túlio Valente; Peter D. Mosses; Francisco Heron de Carvalho Junior (J. Univers. Comput. Sci., 2008)

Component-based semantics. - Peter D. Mosses (SAVCBS, 2009)

Special issue on structural operational semantics. - Rob J. van Glabbeek; Peter D. Mosses (Inf. Comput., 2009)

Robustness of Equations Under Operational Extensions - Peter D. Mosses; Mohammad Reza Mousavi 001; Michel A. Reniers (EXPRESS, 2010)

An agile approach to language modelling and development. - Adrian Johnstone; Peter D. Mosses; Elizabeth Scott (Innov. Syst. Softw. Eng., 2010)

VDM semantics of programming languages: combinators and monads. - Peter D. Mosses (Formal Aspects Comput., 2011)

Modular Semantics for Transition System Specifications with Negative Premises. - Martin Churchill; Peter D. Mosses; Mohammad Reza Mousavi 001 (CONCUR, 2013)

Modular Bisimulation Theory for Computations and Values. - Martin Churchill; Peter D. Mosses (FoSSaCS, 2013)

Generating Specialized Interpreters for Modular Structural Operational Semantics. - Casper Bach Poulsen; Peter D. Mosses (LOPSTR, 2013)

Reusable components of semantic specifications. - Martin Churchill; Peter D. Mosses; Paolo Torrini (MODULARITY, 2014)

Deriving Pretty-Big-Step Semantics from Small-Step Semantics. - Casper Bach Poulsen; Peter D. Mosses (ESOP, 2014)

FunKons: Component-Based Semantics in K. - Peter D. Mosses; Ferdinand Vesely (WRLA, 2014)

Weak Bisimulation as a Congruence in MSOS. - Peter D. Mosses; Ferdinand Vesely (Logic, Rewriting, and Concurrency, 2015)

Imperative Polymorphism by Store-Based Types as Abstract Interpretations. - Casper Bach Poulsen; Peter D. Mosses; Paolo Torrini (PEPM, 2015)

A Modular Structural Operational Semantics for Delimited Continuations. - Neil Sculthorpe; Paolo Torrini; Peter D. Mosses (WoC, 2015)

Semantics of programming languages: Using Asf+Sdf. - Peter D. Mosses (Sci. Comput. Program., 2015)

Reusable Components of Semantic Specifications. - Martin Churchill; Peter D. Mosses; Neil Sculthorpe; Paolo Torrini (LNCS Trans. Aspect Oriented Softw. Dev., 2015)

Tool support for component-based semantics. - L. Thomas van Binsbergen; Neil Sculthorpe; Peter D. Mosses (MODULARITY (Companion), 2016)

Engineering meta-languages for specifying software languages (keynote). - Peter D. Mosses (SLE, 2017)

Flag-based big-step semantics. - Casper Bach Poulsen; Peter D. Mosses (J. Log. Algebraic Methods Program., 2017)

CoFI with Don Sannella. - Peter D. Mosses (Theor. Comput. Sci., 2018)

A Component-Based Formal Language Workbench. - Peter D. Mosses (F-IDE@FM, 2019)

Executable component-based semantics. - L. Thomas van Binsbergen; Peter D. Mosses; Neil Sculthorpe (J. Log. Algebraic Methods Program., 2019)

Software meta-language engineering and CBS. - Peter D. Mosses (J. Comput. Lang., 2019)

Fundamental Constructs in Programming Languages. - Peter D. Mosses (ISoLA, 2021)

Intrinsically-typed definitional interpreters à la carte. - Cas van der Rest; Casper Bach Poulsen; Arjen Rouvoet; Eelco Visser; Peter D. Mosses (Proc. ACM Program. Lang., 2022)

Using Spoofax to Support Online Code Navigation. - Peter D. Mosses (Eelco Visser Commemorative Symposium, 2023)

Online Name-Based Navigation for Software Meta-languages. - Peter D. Mosses (SLE, 2023)

Towards Verification of a Denotational Semantics of Inheritance. - Peter D. Mosses (JENSFEST, 2024)