×

Found 8 Documents (Results 1–8)

Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description). (English) Zbl 07628207

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 529-540 (2022).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

A semantics preserving actor translation. (English) Zbl 1401.68026

Degano, Pierpaolo (ed.) et al., Automata, languages and programming. 24th international colloquium, ICALP ’97, Bologna, Italy, July 7–11, 1997. Proceedings. Berlin: Springer-Verlag (ISBN 978-3-540-63165-1/pbk; 978-3-540-69194-5/ebook). Lecture Notes in Computer Science 1256, 369-378 (1997).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software