Peter D Mosses

Photo of Peter D Mosses (2013)

Home page: pdmosses.github.io

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

Executable component-based semantics

L. Thomas van Binsbergen, Peter D. Mosses, and Neil Sculthorpe

Publication (2019): J. Log. Algebr. Meth. Program. 103, pp. 184–212, doi:10.1016/j.jlamp.2018.12.004

Preprint (2018): PDF