| 2023 | SLE | Online Name-Based Navigation for Software Meta-languages. | Peter D. Mosses |
| 2021 | ISoLA | Fundamental Constructs in Programming Languages. | Peter D. Mosses |
| 2017 | SLE | Engineering meta-languages for specifying software languages (keynote). | Peter D. Mosses |
| 2015 | PEPM | Imperative Polymorphism by Store-Based Types as Abstract Interpretations. | Casper Bach Poulsen, Peter D. Mosses, Paolo Torrini |
| 2014 | ESOP | Deriving Pretty-Big-Step Semantics from Small-Step Semantics. | Casper Bach Poulsen, Peter D. Mosses |
| 2013 | CONCUR | Modular Semantics for Transition System Specifications with Negative Premises. | Martin Churchill, Peter D. Mosses, Mohammad Reza Mousavi |
| 2013 | FOSSACS | Modular Bisimulation Theory for Computations and Values. | Martin Churchill, Peter D. Mosses |
| 2013 | LOPSTR | Generating Specialized Interpreters for Modular Structural Operational Semantics. | Casper Bach Poulsen, Peter D. Mosses |
| 2004 | GPCE | Modular Language Descriptions. | Peter D. Mosses |
| 2004 | SAC | Exploiting labels in Structural Operational Semantics. | Peter D. Mosses |
| 2002 | LOPSTR | Mapping Modular SOS to Rewriting Logic. | Christiano de Oliveira Braga, Edward Hermann Haeusler, Jos Meseguer, Peter D. Mosses |
| 1999 | CSL | Logical Specification of Operational Semantics. | Peter D. Mosses |
| 1999 | MFCS | Foundations of Modular SOS. | Peter D. Mosses |
| 1996 | MFCS | Theory and Practice of Action Semantics. | Peter D. Mosses |
| 1995 | COMPASS | Combining Algebraic and Set-Theoretic Specifications. | Claus Hintermeier, Hlne Kirchner, Peter D. Mosses |
| 1994 | FM | An Action Semantics for ML Concurrency Primitives. | Peter D. Mosses, Martin A. Musicante |
| 1993 | DLT | Rewriting Extended Regular Expressions. | Valentin M. Antimirov, Peter D. Mosses |
| 1992 | COMPASS | Unified Algebras and Abstract Syntax. | Peter D. Mosses |
| 1991 | COMPASS | The Use of Sorts in Algebraic Specifications. | Peter D. Mosses |
| 1989 | LICS | Unified Algebras and Institutions | Peter D. Mosses |
| 1989 | POPL | Unified Algebras and Modules. | Peter D. Mosses |
| 1989 | STACS | Unified Algebras and Action Semantics. | Peter D. Mosses |
| 1980 | CC | A constructive approach to compiler correctness. | Peter D. Mosses |
| 1980 | ICALP | A Constructive Approach to Compiler Correctness. | Peter D. Mosses |
| 1976 | MFCS | Compiler Generation Using Denotational Semantics. | Peter D. Mosses |
| 1974 | MFCS | The Semantics of Semantic Equations. | Peter D. Mosses |