Mark New, BSc (Wales)

PhD student

Supervisor: Professor Peter D Mosses

Publications

• P. D. Mosses and M. J. New. Implicit propagation in structural operational semantics.
  In Proc. SOS 2008. Volume 229, issue 4 of ENTCS, 2008.
  DOI: 10.1016/j.entcs.2009.07.073 | BibTeX
  Submitted version: Download PDF