Skip to content

Peter Mosses

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

Recent publications

  • \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

Professional experience

Professor

Swansea University

January 2005 - Present

Education

BA, MSc, DPhil

University of Oxford

Research interests

algebraic specification frameworksSemantics of programming languages

Groups

Followers (2)