Peter D. Mosses

Welcome to my home page! - mirrored in California and Denmark

Note that links to other sites are generally displayed in new browser windows.

  • Current Affiliations
  • Current Activities
  • Recent Papers
  • Modular SOS (READ ME!)
  • A Modular SOS for ML Concurrency Primitives (DRAFT)
  • A Modular SOS for ML Concurrency Primitives (Long Version, DRAFT)
  • A Modular SOS for Action Notation (Draft)
  • A Modular SOS for Action Notation (Extended Abstract)
  • Proceedings of the Second International Workshop on Action Semantics, AS'99
  • Foundations of Modular SOS (Extended Abstract)
  • Semantics, Modularity, and Rewriting Logic
  • Algebraic Specifications
  • CASL: A Guided Tour of its Design
  • Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models
  • Contact Data
  • References
  • Recent Changes
  • These pages were converted to HTML from LaTeX sources using Hyperlatex 2.3.


    Last edited: August 2, 1999, pdmosses@brics.dk