Professor Peter Mosses

Professor Emeritus (Science)

Faculty of Science and Engineering

p.d.mosses@swansea.ac.uk

Research Links

https://orcid.org/0000-0002-5826-7520

ResearchGate

Google Scholar

ResearcherID

Scopus

About

Peter Mosses obtained his doctoral degree in 1975 at the University of Oxford. From 1976 to 2004 he was based at Aarhus University, Denmark. He was appointed Professor of Computer Science at Swansea University in 2005, and an Emeritus in 2016. Currently, he is visiting the Programming Languages Group at Delft University of Technology, The Netherlands.

My personal homepage: https://pdmosses.github.io

Wikipedia: Wikipedia https://en.wikipedia.org/wiki/Peter_Mosses

Areas Of Expertise

Semantics of programming languages
Algebraic specification frameworks

Career Highlights

Research

The main focus of research has been on pragmatic aspects of formal specifications. This included tool support for Denotational Semantics, and the development of several new semantic frameworks with a high degree of modularity: Action Semantics, MSOS (Modular Structural Operational Semantics), and CBS (Component-Based Semantics).

Collaborations

Publications

Research Highlights

Mosses, P. (2019). Software meta-language engineering and CBS. Journal of Computer Languages, 50, 39-48.
https://doi.org/10.1016/j.jvlc.2018.11.003, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa47984
Binsbergen, L., Mosses, P., & Sculthorpe, N. (2019). Executable component-based semantics. Journal of Logical and Algebraic Methods in Programming, 103, 184-212.
https://doi.org/10.1016/j.jlamp.2018.12.004, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa48792
Bach Poulsen, C. & Mosses, P. (2017). Flag-based big-step semantics. Journal of Logical and Algebraic Methods in Programming, 88, 174-190.
https://doi.org/10.1016/j.jlamp.2016.05.001, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa28828
Sculthorpe, N., Torrini, P., & Mosses, P. (2016). A modular structural operational semantics for delimited continuations. In WoC 2015: Proceedings of the Workshop on Continuations (pp. 63-80). 2015 Workshop on Continuations.
https://doi.org/10.4204/EPTCS.212.5, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa48795
https://arxiv.org/html/1606.05839
Binsbergen, L., Sculthorpe, N., & Mosses, P. (2016). Tool support for component-based semantics. In MODULARITY Companion 2016 Companion Proceedings of the 15th International Conference on Modularity (pp. 8-11). ACM.
https://doi.org/10.1145/2892664.2893464, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa26941

All Research

Journal Articles

Mosses, P. (2019). Software meta-language engineering and CBS. Journal of Computer Languages, 50, 39-48.
https://doi.org/10.1016/j.jvlc.2018.11.003, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa47984
Binsbergen, L., Mosses, P., & Sculthorpe, N. (2019). Executable component-based semantics. Journal of Logical and Algebraic Methods in Programming, 103, 184-212.
https://doi.org/10.1016/j.jlamp.2018.12.004, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa48792
Bach Poulsen, C. & Mosses, P. (2017). Flag-based big-step semantics. Journal of Logical and Algebraic Methods in Programming, 88, 174-190.
https://doi.org/10.1016/j.jlamp.2016.05.001, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa28828
Mosses, P. (2013). Semantics of programming languages: Using Asf+Sdf. Science of Computer Programming
https://doi.org/10.1016/j.scico.2013.11.038, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa17527
Johnstone, A., Mosses, P., & Scott, E. (2010). An agile approach to language modelling and development. Innovations in Systems and Software Engineering, 6(1-2), 145-153.
https://doi.org/10.1007/s11334-009-0111-6, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa225
Mosses, P. (2010). VDM semantics of programming languages: combinators and monads. Formal Aspects of Computing, 23(2), 221-238.
https://doi.org/10.1007/s00165-009-0145-4, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa5290

Book Chapters

Churchill, M., Mosses, P., Sculthorpe, N., & Torrini, P. (2015). Reusable Components of Semantic Specifications. Transactions on Aspect-Oriented Software Development XII (pp. 132-179). Springer
https://doi.org/10.1007/978-3-662-46734-3_4, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa20505
Mosses, P. & Vesely, F. (2015). Weak Bisimulation as a Congruence in MSOS. Logic, Rewriting, and Concurrency (pp. 519-538).
https://doi.org/10.1007/978-3-319-23165-5_24, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa48794
Mosses, P. & Vesely, F. (2014). FunKons: Component-Based Semantics in K. Rewriting Logic and Its Applications (pp. 213-229). WRLA 2014: Rewriting Logic and Its Applications
https://doi.org/10.1007/978-3-319-12904-4_12, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa48793
Mosses, P. (2010). Programming language description languages: From Christopher Strachey to semantics online. (pp. 249-273). Springer
https://doi.org/10.1007/978-1-84882-736-3_8, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa8

Conference Contributions

Mosses, P. (2021). Fundamental Constructs in Programming Languages. In ISoLA 2021: Leveraging Applications of Formal Methods, Verification and Validation (pp. 296-321). Springer International Publishing.
https://doi.org/10.1007/978-3-030-89159-6_19, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa58598
Sculthorpe, N., Torrini, P., & Mosses, P. (2016). A modular structural operational semantics for delimited continuations. In WoC 2015: Proceedings of the Workshop on Continuations (pp. 63-80). 2015 Workshop on Continuations.
https://doi.org/10.4204/EPTCS.212.5, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa48795
https://arxiv.org/html/1606.05839
Binsbergen, L., Sculthorpe, N., & Mosses, P. (2016). Tool support for component-based semantics. In MODULARITY Companion 2016 Companion Proceedings of the 15th International Conference on Modularity (pp. 8-11). ACM.
https://doi.org/10.1145/2892664.2893464, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa26941
Bach Poulsen, C., Mosses, P., & Torrini, P. (2015). Imperative Polymorphism by Store-Based Types as Abstract Interpretations. (pp. 3-8).
https://doi.org/10.1145/2678015.2682545, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa48796
Bach Poulsen, C. & Mosses, P. (2014). Generating specialized interpreters for modular structural operational semantics. In Logic-Based Program Synthesis and Transformation (pp. 220-236).
https://doi.org/10.1007/978-3-319-14125-1_13, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa20845
Churchill, M., Mosses, P., & Torrini, P. (2014). Reusable components of semantic specifications. In Modularity '14 (pp. 145-156). ACM.
https://doi.org/10.1145/2577080.2577099, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa17943
Bach Poulsen, C. & Mosses, P. (2014). Deriving pretty-big-step semantics from small-step semantics. In Programming Languages and Systems (pp. 270-289). Springer.
https://doi.org/10.1007/978-3-642-54833-8_15, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa17526
Churchill, M., Mosses, P., & Mousavi, M. (2013). Modular semantics for transition system specifications with negative premises. In CONCUR 2013 – Concurrency Theory (pp. 46-60). Springer.
https://doi.org/10.1007/978-3-642-40184-8_5, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa17525
Churchill, M. & Mosses, P. (2013). Modular bisimulation theory for computations and values. In FOSSACS: Foundations of Software Science and Computation Structures (pp. 97-112). Springer.
https://doi.org/10.1007/978-3-642-37075-5_7, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa14363
http://link.springer.com/chapter/10.1007%2F978-3-642-37075-5_7
Mosses, P., Mousavi, M., & Reniers, M. (2010). Robustness of equations under operational extensions. In Electronic Proceedings in Theoretical Computer Science (pp. 106-120).
https://doi.org/10.4204/EPTCS.41.8, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa1170
Mosses, P. (2009). Component-based semantics. (pp. 3-10). ACM.
https://doi.org/10.1145/1596486.1596489, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa41
Mosses, P. & New, M. (2009). Implicit propagation in structural operational semantics. In Electronic Notes in Theoretical Computer Science (pp. 49-66). Elsevier.
https://doi.org/10.1016/j.entcs.2009.07.073, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa25
Mosses, P. (2008). Component-based description of programming languages. (pp. 275-286). BCS.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa22
http://www.bcs.org/content/ConWebDoc/22912

Other Research Outputs

Mosses, P. & Glabbeek, R. (2009). Special Issue on Structural Operational Semantics (SOS)
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa124
Glabbeek, R. & Mosses, P. (2009). Special issue on Structural Operational Semantics (SOS): Preface
https://doi.org/10.1016/j.ic.2008.10.006, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa159

Key Grants and Projects

PLanCompS: Programming Language Components and Specifications 2011 - 2015

, £695,780

Career History

Junior Research Fellow, University of Oxford (Wolfson College)

October 1975 - October 1976
Lektor, Aarhus University, Denmark

September 1976 - Present
Professor, Swansea University

January 2005 - December 2015
Professor Emeritus, Swansea University

January 2016 - Present