Skip to content

Peter Mosses

  • Prof
  • Professor
  • Swansea University
  • 95PublicationsNumber of items in Peter's My Publications folder on Mendeley.
  • 2Followers

Research interests

algebraic specification frameworksSemantics of programming languages

Followers (2)

Publications (5)

  • Formal Semantics of Programming Languages: An Overview

    • Mosses P
    N/AReaders
    N/ACitations
    Get full text
  • Exploiting Labels in Structural Operational Semantics

    • Mosses P
    N/AReaders
    N/ACitations
  • \textsc{Casl} for {CafeOBJ} Users

    • Mosses P
    N/AReaders
    N/ACitations
    Get full text
  • A Modular {SOS} for {ML} Concurrency Primitives

    • Mosses P
    N/AReaders
    N/ACitations
  • Denotational Semantics

    • Mosses P
    N/AReaders
    N/ACitations

Professional experience

Professor

Swansea University

January 2005 - Present

Education history

BA, MSc, DPhil

University of Oxford