×

Found 30 Documents (Results 1–30)

Optimizing Maude programs via program specialization. (English) Zbl 07729469

Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 21-50 (2023).
MSC:  68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Automatic analysis of consistency properties of distributed transaction systems in Maude. (English) Zbl 1527.68025

Vojnar, Tomáš (ed.) et al., Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 11428, 40-57 (2019).
MSC:  68M14 68Q42 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Formal analysis of leader election in MANETs using Real-Time Maude. (English) Zbl 1454.68014

De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer. Lect. Notes Comput. Sci. 8950, 231-252 (2015).
MSC:  68M12 68M14 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Predicate abstraction of rewrite theories. (English) Zbl 1416.68118

Dowek, Gilles (ed.), Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8560, 61-76 (2014).
MSC:  68Q85 68Q42 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Mechanical analysis of reliable communication in the alternating bit protocol using the Maude invariant analyzer tool. (English) Zbl 1407.68302

Iida, Shusaku (ed.) et al., Specification, algebra, and software. Essays dedicated to Kokichi Futatsugi. Berlin: Springer. Lect. Notes Comput. Sci. 8373, 603-629 (2014).
MSC:  68Q60 68Q42 68Q85 68T15
PDFBibTeX XMLCite
Full Text: DOI

Abstract logical model checking of infinite-state systems using narrowing. (English) Zbl 1356.68140

van Raamsdonk, Femke (ed.), 24th international conference on rewriting techniques and applications (RTA 2013), Eindhoven, The Netherlands, June 24–26, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-53-8). LIPIcs – Leibniz International Proceedings in Informatics 21, 81-96 (2013).
MSC:  68Q60 68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Proving safety properties of rewrite theories. (English) Zbl 1344.68142

Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 314-328 (2011).
MSC:  68Q60 68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI Link

Concurrent rewriting semantics and analysis of asynchronous digital circuits. (English) Zbl 1306.68078

Ölveczky, Peter Csaba (ed.), Rewriting logic and its applications. 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20–21, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-16309-8/pbk). Lecture Notes in Computer Science 6381, 140-156 (2010).
MSC:  68Q42 68Q55 68Q85 94C10
PDFBibTeX XMLCite
Full Text: DOI

Variant narrowing and equational unification. (English) Zbl 1347.68194

Roşu, Grigore (ed.), Proceedings of the 7th international workshop on rewriting logic and its applications (WRLA 2008), Budapest, Hungary, March 29–30, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 238, No. 3, 103-119 (2009).
MSC:  68Q42 68Q85 94A60
PDFBibTeX XMLCite
Full Text: DOI

Symbolic model checking of infinite-state systems using narrowing. (English) Zbl 1203.68097

Baader, Franz (ed.), Term rewriting and applications. 18th international conference, RTA 2007, Paris, France, June 26–28, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73447-5/pbk). Lecture Notes in Computer Science 4533, 153-168 (2007).
MSC:  68Q60 68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI Link

All about Maude – a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. (English) Zbl 1115.68046

Lecture Notes in Computer Science 4350. Berlin: Springer (ISBN 978-3-540-71940-3/pbk). xxii, 797 p. (2007).
PDFBibTeX XMLCite

Termination of fair computations in term rewriting. (English) Zbl 1143.68491

Sutcliffe, Geoff (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2–6, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-30553-8/pbk). Lecture Notes in Computer Science 3835, 184-198 (2005).
MSC:  68Q85 68N30 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Tiling transactions in rewriting logic. (English) Zbl 1272.68291

Gadducci, Fabio (ed.) et al., WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19–21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 71, 90-109 (2004).
MSC:  68Q85 68Q42 03B70
PDFBibTeX XMLCite
Full Text: Link

A rewriting based model for probabilistic distributed object systems. (English) Zbl 1253.68244

Najm, Elie (ed.) et al., Formal methods for open object-based distributed systems. 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19–21, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20491-1/pbk). Lect. Notes Comput. Sci. 2884, 32-46 (2003).
PDFBibTeX XMLCite
Full Text: DOI

Representation and execution of Petri nets using rewriting logic as a unifying framework. (English) Zbl 1263.68094

Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 140-162 (2001).
PDFBibTeX XMLCite
Full Text: DOI

Rewriting logic and maude: A wide-spectrum semantic framework for object-based distributed systems. (English) Zbl 0968.68079

Smith, Scott F. (ed.) et al., Formal methods for open object-based distributed systems IV. IFIP TC6/WG6.1. 4th international conference, FMOODS 2000, Stanford, CA, USA, September 6-8, 2000. Boston: Kluwer Academic Publishers. 89-117 (2000).
MSC:  68Q42 68M14
PDFBibTeX XMLCite

Compiling concurrent rewriting onto the rewrite rule machine. (English) Zbl 1507.68138

Kaplan, Stéphane (ed.) et al., Conditional and typed rewriting systems. 2nd international CTRS workshop, Montreal, Canada, June 11–14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 516, 319-332 (1991).
MSC:  68Q42 68N20 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software