Concepedia

Peter D. Mosses

PD

38

Publications

1.4K

Citations

19

H-Index

1980

Active since

Affiliations

Aarhus University(Current)

Swansea University

Hanyang University

SRI International

Delft University of Technology

Peter D. Mosses is an author at Aarhus University specializing in formal methods, engineering, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningSemanticsProgram AnalysisComputer ScienceLanguageLinguisticsProgramming LanguagesSoftware Design

Publications per year

1980–2022

38

Publications

38

Modular structural operational semantics

Peter D. Mosses · The Journal of Logic and Algebraic Programming · 2004 · 200 citations

Formal Semantics, Syntax, Engineering +8

CASL: the Common Algebraic Specification Language

Egidio Astesiano, Michel Bidoit, Bernd Krieg-Brückner et al. · Theoretical Computer Science · 2002 · 188 citations

Specification Language, Formal Specification, Engineering +8

Formal Semantics of Programming Languages

Peter D. Mosses · Electronic Notes in Theoretical Computer Science · 2006 · 92 citations · Full text

Engineering, Software Engineering, Semantics +16

Unified algebras and institutions

Peter D. Mosses · 2003 · 76 citations

Relational Queries, Algebraic Logic, Abstract Data Types +15

Theory and Practice of Action Semantics

Peter D. Mosses · BRICS Report Series · 1996 · 68 citations · Full text

Engineering, Action Semantics, Semantics +16

Rows per page

1–5 of 38