OpenAlex | Peter D. Mosses

Peter D. Mosses

Author

Alternate names Peter D. Mosses, P. D. Mosses, P Mosses, Peter Mosses, Peter David Mosses +3 more

Institutions Delft University of Technology, Swansea University

Past institutions Swansea University, Delft University of Technology, Foundry (United Kingdom), Aarhus University, University of Wales +5 more

ORCID: Yes

H-index: 30

I10-index: 76

Works count: 228

Citations count: 3,122

Modular structural operational semantics

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

CASL: the Common Algebraic Specification Language

2002 · Egidio Astesiano, Michel Bidoit, et al. · Theoretical Computer Science

CASL User Manual

2004 · Michel Bidoit, Peter D. Mosses · Lecture notes in computer science