×

Found 3 Documents (Results 1–3)

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software