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