van Binsbergen, L. Thomas; Mosses, Peter D.; Sculthorpe, Neil Executable component-based semantics. (English) Zbl 1417.68095 J. Log. Algebr. Methods Program. 103, 184-212 (2019). MSC: 68Q55 68N15 PDFBibTeX XMLCite \textit{L. T. van Binsbergen} et al., J. Log. Algebr. Methods Program. 103, 184--212 (2019; Zbl 1417.68095) Full Text: DOI Link
Mosses, Peter D.; Vesely, Ferdinand Weak bisimulation as a congruence in MSOS. (English) Zbl 1321.68363 Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 519-538 (2015). MSC: 68Q85 68N30 68Q42 68Q55 68Q60 PDFBibTeX XMLCite \textit{P. D. Mosses} and \textit{F. Vesely}, Lect. Notes Comput. Sci. 9200, 519--538 (2015; Zbl 1321.68363) Full Text: DOI
Bach Poulsen, Casper; Mosses, Peter D. Generating specialized interpreters for modular structural operational semantics. (English) Zbl 1453.68040 Gupta, Gopal (ed.) et al., Logic-based program synthesis and transformation. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18–19, 2013. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8901, 220-236 (2014). MSC: 68N20 68N17 68Q55 68Q60 PDFBibTeX XMLCite \textit{C. Bach Poulsen} and \textit{P. D. Mosses}, Lect. Notes Comput. Sci. 8901, 220--236 (2014; Zbl 1453.68040) Full Text: DOI