Peter D Mosses

Photo of Peter D Mosses (2013)

Home page: pdmosses.github.io

Email: p.d.mosses@swansea.ac.uk

Modular structural operational semantics

Peter D. Mosses

Publication (2004): J. Log. Algebr. Program. 60-61, pp. 195–228, doi:10.1016/j.jlap.2004.03.008

Preprint (2003): PDF

Related projects: