Capra, Lorenzo; Köhler-Bußmeier, Michael Modular rewritable Petri nets: an efficient model for dynamic distributed systems. (English) Zbl 07807468 Theor. Comput. Sci. 990, Article ID 114397, 34 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{L. Capra} and \textit{M. Köhler-Bußmeier}, Theor. Comput. Sci. 990, Article ID 114397, 34 p. (2024; Zbl 07807468) Full Text: DOI
López-Rueda, Raúl; Escobar, Santiago; Sapiña, Julia An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis. (English) Zbl 07741961 J. Log. Algebr. Methods Program. 135, Article ID 100895, 27 p. (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{R. López-Rueda} et al., J. Log. Algebr. Methods Program. 135, Article ID 100895, 27 p. (2023; Zbl 07741961) Full Text: DOI arXiv
Aguirre, Luis; Martí-Oliet, Narciso; Palomino, Miguel; Pita, Isabel Strategies in conditional narrowing modulo SMT plus axioms. (English) Zbl 07729468 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, 1-20 (2023). MSC: 68Q42 PDFBibTeX XMLCite \textit{L. Aguirre} et al., Lect. Notes Comput. Sci. 13160, 1--20 (2023; Zbl 07729468) Full Text: DOI
Meseguer, José Variants and satisfiability in the infinitary unification wonderland. (English) Zbl 07723898 J. Log. Algebr. Methods Program. 134, Article ID 100877, 38 p. (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{J. Meseguer}, J. Log. Algebr. Methods Program. 134, Article ID 100877, 38 p. (2023; Zbl 07723898) Full Text: DOI
Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore Capturing constrained constructor patterns in matching logic. (English) Zbl 07618117 J. Log. Algebr. Methods Program. 130, Article ID 100810, 31 p. (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{X. Chen} et al., J. Log. Algebr. Methods Program. 130, Article ID 100810, 31 p. (2023; Zbl 07618117) Full Text: DOI
Alpuente, María; Ballis, Demis; Escobar, Santiago; Sapiña, Julia Variant-based equational anti-unification. (English) Zbl 1522.68251 Villanueva, Alicia (ed.), Logic-based program synthesis and transformation. 32nd international symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13474, 44-60 (2022). MSC: 68Q42 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Lect. Notes Comput. Sci. 13474, 44--60 (2022; Zbl 1522.68251) Full Text: DOI
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn 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 \textit{F. Durán} et al., Lect. Notes Comput. Sci. 13385, 529--540 (2022; Zbl 07628207) Full Text: DOI
Meseguer, José; Skeirik, Stephen On ground convergence and completeness of conditional equational program hierarchies. (English) Zbl 1514.68039 Bae, Kyungmin (ed.), Rewriting logic and its applications. 14th international workshop, WRLA 2022, Munich, Germany, April 2–3, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13252, 191-211 (2022). MSC: 68N30 68N18 68Q42 68V15 PDFBibTeX XMLCite \textit{J. Meseguer} and \textit{S. Skeirik}, Lect. Notes Comput. Sci. 13252, 191--211 (2022; Zbl 1514.68039) Full Text: DOI
Meseguer, José Checking sufficient completeness by inductive theorem proving. (English) Zbl 1514.68038 Bae, Kyungmin (ed.), Rewriting logic and its applications. 14th international workshop, WRLA 2022, Munich, Germany, April 2–3, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13252, 171-190 (2022). MSC: 68N30 68Q42 68V15 PDFBibTeX XMLCite \textit{J. Meseguer}, Lect. Notes Comput. Sci. 13252, 171--190 (2022; Zbl 1514.68038) Full Text: DOI
López-Rueda, Raúl; Escobar, Santiago Canonical narrowing with irreducibility and SMT constraints as a generic symbolic protocol analysis method. (English) Zbl 1517.94128 Bae, Kyungmin (ed.), Rewriting logic and its applications. 14th international workshop, WRLA 2022, Munich, Germany, April 2–3, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13252, 45-64 (2022). MSC: 94A60 68P25 PDFBibTeX XMLCite \textit{R. López-Rueda} and \textit{S. Escobar}, Lect. Notes Comput. Sci. 13252, 45--64 (2022; Zbl 1517.94128) Full Text: DOI
Alpuente, María; Escobar, Santiago; Meseguer, José; Sapiña, Julia Order-sorted equational generalization algorithm revisited. (English) Zbl 07517439 Ann. Math. Artif. Intell. 90, No. 5, 499-522 (2022). MSC: 68N17 68N18 68Q42 68Q60 68T20 68W30 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Ann. Math. Artif. Intell. 90, No. 5, 499--522 (2022; Zbl 07517439) Full Text: DOI
Meseguer, José Symbolic computation in Maude: some tapas. (English) Zbl 07496639 Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 3-36 (2021). MSC: 68N30 PDFBibTeX XMLCite \textit{J. Meseguer}, Lect. Notes Comput. Sci. 12561, 3--36 (2021; Zbl 07496639) Full Text: DOI
Zieliński, Bartosz A non-deterministic multiset query language. (English) Zbl 1522.68182 Fundam. Inform. 184, No. 2, 141-180 (2021). MSC: 68P15 68Q42 PDFBibTeX XMLCite \textit{B. Zieliński}, Fundam. Inform. 184, No. 2, 141--180 (2021; Zbl 1522.68182) Full Text: DOI arXiv
Aparicio-Sánchez, Damián; Escobar, Santiago; Sapiña, Julia Variant-based equational unification under constructor symbols. (English) Zbl 07455704 Ricca, Francesco (ed.) et al., Proceedings of the 36th international conference on logic programming (technical communications), ICLP 2020, UNICAL, Rende (CS), Italy, September 18–24, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 325, 38-51 (2020). MSC: 68N17 PDFBibTeX XMLCite \textit{D. Aparicio-Sánchez} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 325, 38--51 (2020; Zbl 07455704) Full Text: arXiv Link
Găină, Daniel; Nakamura, Masaki; Ogata, Kazuhiro; Futatsugi, Kokichi Stability of termination and sufficient-completeness under pushouts via amalgamation. (English) Zbl 1464.68215 Theor. Comput. Sci. 848, 82-105 (2020). MSC: 68Q65 68Q42 PDFBibTeX XMLCite \textit{D. Găină} et al., Theor. Comput. Sci. 848, 82--105 (2020; Zbl 1464.68215) Full Text: DOI
Durán, Francisco; Meseguer, José; Rocha, Camilo Ground confluence of order-sorted conditional specifications modulo axioms. (English) Zbl 1498.68073 J. Log. Algebr. Methods Program. 111, Article ID 100513, 117 p. (2020). MSC: 68N30 68N18 68Q42 68Q60 PDFBibTeX XMLCite \textit{F. Durán} et al., J. Log. Algebr. Methods Program. 111, Article ID 100513, 117 p. (2020; Zbl 1498.68073) Full Text: DOI
Alpuente, M.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J. A partial evaluation framework for order-sorted equational programs modulo axioms. (English) Zbl 1494.68048 J. Log. Algebr. Methods Program. 110, Article ID 100501, 36 p. (2020). MSC: 68N30 08A70 68Q42 PDFBibTeX XMLCite \textit{M. Alpuente} et al., J. Log. Algebr. Methods Program. 110, Article ID 100501, 36 p. (2020; Zbl 1494.68048) Full Text: DOI
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn Programming and symbolic computation in Maude. (English) Zbl 1494.68109 J. Log. Algebr. Methods Program. 110, Article ID 100497, 58 p. (2020). MSC: 68Q42 68Q60 68Q85 PDFBibTeX XMLCite \textit{F. Durán} et al., J. Log. Algebr. Methods Program. 110, Article ID 100497, 58 p. (2020; Zbl 1494.68109) Full Text: DOI arXiv
Meseguer, José Generalized rewrite theories, coherence completion, and symbolic methods. (English) Zbl 1496.68166 J. Log. Algebr. Methods Program. 110, Article ID 100483, 39 p. (2020). MSC: 68Q42 68Q60 PDFBibTeX XMLCite \textit{J. Meseguer}, J. Log. Algebr. Methods Program. 110, Article ID 100483, 39 p. (2020; Zbl 1496.68166) Full Text: DOI Link
Escobar, Santiago; Sapiña, Julia Most general variant unifiers. (English) Zbl 07453112 Bogaerts, Bart (ed.) et al., Proceedings of the 35th international conference on logic programming (technical communications), ICLP 2019, Las Cruces, USA, September 20–25, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 306, 154-167 (2019). MSC: 68N17 PDFBibTeX XMLCite \textit{S. Escobar} and \textit{J. Sapiña}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 306, 154--167 (2019; Zbl 07453112) Full Text: arXiv Link
Lucas, Salvador Proving semantic properties as first-order satisfiability. (English) Zbl 1478.68356 Artif. Intell. 277, Article ID 103174, 24 p. (2019). MSC: 68T27 68N17 68P15 68Q42 68V15 PDFBibTeX XMLCite \textit{S. Lucas}, Artif. Intell. 277, Article ID 103174, 24 p. (2019; Zbl 1478.68356) Full Text: DOI Link
Liu, Si; Ölveczky, Peter Csaba; Wang, Qi; Gupta, Indranil; Meseguer, José Read atomic transactions with prevention of lost updates: ROLA and its formal analysis. (English) Zbl 1425.68096 Formal Asp. Comput. 31, No. 5, 503-540 (2019). MSC: 68P15 03B70 68Q42 68Q60 PDFBibTeX XMLCite \textit{S. Liu} et al., Formal Asp. Comput. 31, No. 5, 503--540 (2019; Zbl 1425.68096) Full Text: DOI Link
Aguirre, Luis; Martí-Oliet, Narciso; Palomino, Miguel; Pita, Isabel Sentence-normalized conditional narrowing modulo in rewriting logic and Maude. (English) Zbl 1398.68267 J. Autom. Reasoning 60, No. 4, 421-463 (2018). MSC: 68Q42 03B70 PDFBibTeX XMLCite \textit{L. Aguirre} et al., J. Autom. Reasoning 60, No. 4, 421--463 (2018; Zbl 1398.68267) Full Text: DOI
Skeirik, Stephen; Meseguer, José Metalevel algorithms for variant satisfiability. (English) Zbl 1430.68423 J. Log. Algebr. Methods Program. 96, 81-110 (2018). MSC: 68V15 18C10 68Q42 PDFBibTeX XMLCite \textit{S. Skeirik} and \textit{J. Meseguer}, J. Log. Algebr. Methods Program. 96, 81--110 (2018; Zbl 1430.68423) Full Text: DOI Link
Meseguer, José Strict coherence of conditional rewriting modulo axioms. (English) Zbl 1386.68080 Theor. Comput. Sci. 672, 1-35 (2017). MSC: 68Q42 03B70 PDFBibTeX XMLCite \textit{J. Meseguer}, Theor. Comput. Sci. 672, 1--35 (2017; Zbl 1386.68080) Full Text: DOI
Meseguer, José; Skeirik, Stephen Equational formulas and pattern operations in initial order-sorted algebras. (English) Zbl 1362.68054 Formal Asp. Comput. 29, No. 3, 423-452 (2017). MSC: 68N30 03B70 68N15 68Q45 PDFBibTeX XMLCite \textit{J. Meseguer} and \textit{S. Skeirik}, Formal Asp. Comput. 29, No. 3, 423--452 (2017; Zbl 1362.68054) Full Text: DOI
Rocha, Camilo; Meseguer, José; Muñoz, César Rewriting modulo SMT and open system analysis. (English) Zbl 1353.68156 J. Log. Algebr. Methods Program. 86, No. 1, 269-297 (2017). MSC: 68Q42 68Q60 PDFBibTeX XMLCite \textit{C. Rocha} et al., J. Log. Algebr. Methods Program. 86, No. 1, 269--297 (2017; Zbl 1353.68156) Full Text: DOI
Lucas, Salvador; Meseguer, José Dependency pairs for proving termination properties of conditional term rewriting systems. (English) Zbl 1353.68155 J. Log. Algebr. Methods Program. 86, No. 1, 236-268 (2017). MSC: 68Q42 PDFBibTeX XMLCite \textit{S. Lucas} and \textit{J. Meseguer}, J. Log. Algebr. Methods Program. 86, No. 1, 236--268 (2017; Zbl 1353.68155) Full Text: DOI
Meseguer, José Variant-based satisfiability in initial algebras. (English) Zbl 1396.68074 Artho, Cyrille (ed.) et al., Formal techniques for safety-critical systems. Fourth international workshop, FTSCS 2015, Paris, France, November 6–7, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-29509-1/pbk; 978-3-319-29510-7/ebook). Communications in Computer and Information Science 596, 3-34 (2016). MSC: 68Q65 18C10 68Q42 68T15 PDFBibTeX XMLCite \textit{J. Meseguer}, Commun. Comput. Inf. Sci. 596, 3--34 (2016; Zbl 1396.68074) Full Text: DOI
Lucas, Salvador; Meseguer, José Normal forms and normal theories in conditional rewriting. (English) Zbl 1356.68124 J. Log. Algebr. Methods Program. 85, No. 1, Part 1, 67-97 (2016). MSC: 68Q42 PDFBibTeX XMLCite \textit{S. Lucas} and \textit{J. Meseguer}, J. Log. Algebr. Methods Program. 85, No. 1, Part 1, 67--97 (2016; Zbl 1356.68124) Full Text: DOI
Liu, Si; Ölveczky, Peter Csaba; Meseguer, José Modeling and analyzing mobile ad hoc networks in Real-Time Maude. (English) Zbl 1356.68123 J. Log. Algebr. Methods Program. 85, No. 1, Part 1, 34-66 (2016). MSC: 68Q42 68M10 68M12 68Q60 PDFBibTeX XMLCite \textit{S. Liu} et al., J. Log. Algebr. Methods Program. 85, No. 1, Part 1, 34--66 (2016; Zbl 1356.68123) Full Text: DOI
Skeirik, Stephen; Meseguer, José Metalevel algorithms for variant satisfiability. (English) Zbl 1367.68256 Lucanu, Dorel (ed.), Rewriting logic and its applications. 11th international workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-44801-5/pbk; 978-3-319-44802-2/ebook). Lecture Notes in Computer Science 9942, 167-184 (2016). MSC: 68T15 18C10 68Q42 PDFBibTeX XMLCite \textit{S. Skeirik} and \textit{J. Meseguer}, Lect. Notes Comput. Sci. 9942, 167--184 (2016; Zbl 1367.68256) Full Text: DOI Link
Lucas, Salvador Use of logical models for proving operational termination in general logics. (English) Zbl 1367.68068 Lucanu, Dorel (ed.), Rewriting logic and its applications. 11th international workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-44801-5/pbk; 978-3-319-44802-2/ebook). Lecture Notes in Computer Science 9942, 26-46 (2016). MSC: 68N30 03B70 68Q42 PDFBibTeX XMLCite \textit{S. Lucas}, Lect. Notes Comput. Sci. 9942, 26--46 (2016; Zbl 1367.68068) Full Text: DOI Link
Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia Debugging Maude programs via runtime assertion checking and trace slicing. (English) Zbl 1348.68027 J. Log. Algebr. Methods Program. 85, No. 5, Part 1, 707-736 (2016). MSC: 68N17 68Q42 PDFBibTeX XMLCite \textit{M. Alpuente} et al., J. Log. Algebr. Methods Program. 85, No. 5, Part 1, 707--736 (2016; Zbl 1348.68027) Full Text: DOI
Meseguer, José Order-sorted rewriting and congruence closure. (English) Zbl 1475.68142 Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9634, 493-509 (2016). MSC: 68Q42 PDFBibTeX XMLCite \textit{J. Meseguer}, Lect. Notes Comput. Sci. 9634, 493--509 (2016; Zbl 1475.68142) Full Text: DOI
Meseguer, José; Skeirik, Stephen Equational formulas and pattern operations in initial order-sorted algebras. (English) Zbl 1362.68053 Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-27435-5/pbk; 978-3-319-27436-2/ebook). Lecture Notes in Computer Science 9527, 36-53 (2015). MSC: 68N30 03B70 68N15 68Q45 PDFBibTeX XMLCite \textit{J. Meseguer} and \textit{S. Skeirik}, Lect. Notes Comput. Sci. 9527, 36--53 (2015; Zbl 1362.68053) Full Text: DOI
Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia Symbolic protocol analysis with disequality constraints modulo equational theories. (English) Zbl 1437.94060 Bodei, Chiara (ed.) et al., Programming languages with applications to biology and security. Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9465, 238-261 (2015). MSC: 94A60 68N30 03C05 PDFBibTeX XMLCite \textit{S. Escobar} et al., Lect. Notes Comput. Sci. 9465, 238--261 (2015; Zbl 1437.94060) Full Text: DOI
Rocha, Camilo The formal system of Dijkstra and Scholten. (English) Zbl 1322.03025 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, 580-597 (2015). MSC: 03B70 68N30 PDFBibTeX XMLCite \textit{C. Rocha}, Lect. Notes Comput. Sci. 9200, 580--597 (2015; Zbl 1322.03025) Full Text: DOI
Ibañez, Yazmin Angelica; Mossakowski, Till; Sannella, Donald; Tarlecki, Andrzej Modularity of ontologies in an arbitrary institution. (English) Zbl 1321.68418 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, 361-379 (2015). MSC: 68T30 68Q65 PDFBibTeX XMLCite \textit{Y. A. Ibañez} et al., Lect. Notes Comput. Sci. 9200, 361--379 (2015; Zbl 1321.68418) Full Text: DOI
Clavel, Manuel; Durán, Francisco; Eker, Steven; Escobar, Santiago; Lincoln, Patrick; Martí-Oliet, Narciso; Talcott, Carolyn Two decades of Maude. (English) Zbl 1321.68007 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, 232-254 (2015). MSC: 68-03 01A65 03B70 68Q42 PDFBibTeX XMLCite \textit{M. Clavel} et al., Lect. Notes Comput. Sci. 9200, 232--254 (2015; Zbl 1321.68007) Full Text: DOI
Aguirre, Luis; Martí-Oliet, Narciso; Palomino, Miguel; Pita, Isabel Sentence-normalized conditional narrowing modulo in rewriting logic and Maude. (English) Zbl 1321.68324 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, 48-71 (2015). MSC: 68Q42 03B70 PDFBibTeX XMLCite \textit{L. Aguirre} et al., Lect. Notes Comput. Sci. 9200, 48--71 (2015; Zbl 1321.68324) Full Text: DOI
Martí-Oliet, Narciso; Ölveczky, Peter Csaba; Talcott, Carolyn José Meseguer: scientist and friend extraordinaire. (English) Zbl 1321.01052 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, 1-47 (2015). MSC: 01A70 68-03 PDFBibTeX XMLCite \textit{N. Martí-Oliet} et al., Lect. Notes Comput. Sci. 9200, 1--47 (2015; Zbl 1321.01052) Full Text: DOI
Baumeister, Hubert; Bettaz, Mohamed; Maouche, Mourad; Mosteghanemi, M’hamed An institution for Object-Z with inheritance and polymorphism. (English) Zbl 1453.68043 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, 134-154 (2015). MSC: 68N30 68Q65 PDFBibTeX XMLCite \textit{H. Baumeister} et al., Lect. Notes Comput. Sci. 8950, 134--154 (2015; Zbl 1453.68043) Full Text: DOI
AlTurki, Musab A.; Meseguer, José Executable rewriting logic semantics of Orc and formal analysis of Orc programs. (English) Zbl 1329.68169 J. Log. Algebr. Methods Program. 84, No. 4, 505-533 (2015). MSC: 68Q55 03B70 68Q10 68Q42 68Q60 68Q85 PDFBibTeX XMLCite \textit{M. A. AlTurki} and \textit{J. Meseguer}, J. Log. Algebr. Methods Program. 84, No. 4, 505--533 (2015; Zbl 1329.68169) Full Text: DOI
Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia State space reduction in the Maude-NRL protocol analyzer. (English) Zbl 1360.94307 Inf. Comput. 238, 157-186 (2014). MSC: 94A60 68M12 68Q42 PDFBibTeX XMLCite \textit{S. Escobar} et al., Inf. Comput. 238, 157--186 (2014; Zbl 1360.94307) Full Text: DOI
Rocha, Camilo; Meseguer, José 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 \textit{C. Rocha} and \textit{J. Meseguer}, Lect. Notes Comput. Sci. 8373, 603--629 (2014; Zbl 1407.68302) Full Text: DOI
Escobar, Santiago Functional logic programming in Maude. (English) Zbl 1407.68081 Iida, Shusaku (ed.) et al., Specification, algebra, and software. Essays dedicated to Kokichi Futatsugi. Berlin: Springer. Lect. Notes Comput. Sci. 8373, 315-336 (2014). MSC: 68N17 68N18 68Q42 68Q60 PDFBibTeX XMLCite \textit{S. Escobar}, Lect. Notes Comput. Sci. 8373, 315--336 (2014; Zbl 1407.68081) Full Text: DOI
Mossakowski, Till; Pawłowski, Wiesław; Sannella, Donald; Tarlecki, Andrzej Parchments for CafeOBJ logics. (English) Zbl 1407.68311 Iida, Shusaku (ed.) et al., Specification, algebra, and software. Essays dedicated to Kokichi Futatsugi. Berlin: Springer. Lect. Notes Comput. Sci. 8373, 66-91 (2014). MSC: 68Q65 PDFBibTeX XMLCite \textit{T. Mossakowski} et al., Lect. Notes Comput. Sci. 8373, 66--91 (2014; Zbl 1407.68311) Full Text: DOI Link
Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José A modular order-sorted equational generalization algorithm. (English) Zbl 1314.68169 Inf. Comput. 235, 98-136 (2014). Reviewer: Temur Kutsia (Linz) MSC: 68Q42 03B70 68N30 68T15 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Inf. Comput. 235, 98--136 (2014; Zbl 1314.68169) Full Text: DOI
Meseguer, José; Roşu, Grigore The rewriting logic semantics project: a progress report. (English) Zbl 1435.68188 Inf. Comput. 231, 38-69 (2013). MSC: 68Q55 03B70 68N30 68Q42 68Q60 PDFBibTeX XMLCite \textit{J. Meseguer} and \textit{G. Roşu}, Inf. Comput. 231, 38--69 (2013; Zbl 1435.68188) Full Text: DOI
Hendrix, Joe; Meseguer, José Order-sorted equational unification revisited. (English) Zbl 1291.68220 Kniesel, Günter (ed.) et al., 9th international workshop on rule-based programming (Rule 2008), Hagenberg Castle, Hagenberg, Austria, July 14–18, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 290, 37-50 (2012). MSC: 68Q42 68T15 PDFBibTeX XMLCite \textit{J. Hendrix} and \textit{J. Meseguer}, Electron. Notes Theor. Comput. Sci. 290, 37--50 (2012; Zbl 1291.68220) Full Text: DOI
Bae, Kyungmin; Ölveczky, Peter Csaba; Feng, Thomas Huining; Lee, Edward A.; Tripakis, Stavros Verifying hierarchical Ptolemy II discrete-event models using real-time maude. (English) Zbl 1264.68051 Sci. Comput. Program. 77, No. 12, 1235-1271 (2012). MSC: 68N30 68Q60 68Q55 68Q42 PDFBibTeX XMLCite \textit{K. Bae} et al., Sci. Comput. Program. 77, No. 12, 1235--1271 (2012; Zbl 1264.68051) Full Text: DOI
Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso; Caballero, Rafael Declarative debugging of rewriting logic specifications. (English) Zbl 1279.68220 J. Log. Algebr. Program. 81, No. 7-8, 851-897 (2012). MSC: 68Q60 03B70 68N30 68Q42 PDFBibTeX XMLCite \textit{A. Riesco} et al., J. Log. Algebr. Program. 81, No. 7--8, 851--897 (2012; Zbl 1279.68220) Full Text: DOI
Durán, Francisco; Meseguer, José On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. (English) Zbl 1272.03139 J. Log. Algebr. Program. 81, No. 7-8, 816-850 (2012). MSC: 03B70 68N18 68N19 68Q42 68Q60 PDFBibTeX XMLCite \textit{F. Durán} and \textit{J. Meseguer}, J. Log. Algebr. Program. 81, No. 7--8, 816--850 (2012; Zbl 1272.03139) Full Text: DOI
Meseguer, José Twenty years of rewriting logic. (English) Zbl 1267.03043 J. Log. Algebr. Program. 81, No. 7-8, 721-781 (2012). Reviewer: Johan Georg Granström (Zürich) MSC: 03B70 68Q42 PDFBibTeX XMLCite \textit{J. Meseguer}, J. Log. Algebr. Program. 81, No. 7--8, 721--781 (2012; Zbl 1267.03043) Full Text: DOI
Futatsugi, Kokichi; Găină, Daniel; Ogata, Kazuhiro Principles of proof scores in CafeOBJ. (English) Zbl 1253.68220 Theor. Comput. Sci. 464, 90-112 (2012). MSC: 68Q60 68Q65 68Q42 PDFBibTeX XMLCite \textit{K. Futatsugi} et al., Theor. Comput. Sci. 464, 90--112 (2012; Zbl 1253.68220) Full Text: DOI
Meseguer, José; Ölveczky, Peter Csaba Formalization and correctness of the PALS architectural pattern for distributed real-time systems. (English) Zbl 1284.68073 Theor. Comput. Sci. 451, 1-37 (2012). MSC: 68M14 68Q60 68M07 68M10 PDFBibTeX XMLCite \textit{J. Meseguer} and \textit{P. C. Ölveczky}, Theor. Comput. Sci. 451, 1--37 (2012; Zbl 1284.68073) Full Text: DOI
Durán, Francisco; Ouederni, Meriem; Salaün, Gwen A generic framework for \(n\)-protocol compatibility checking. (English) Zbl 1245.68028 Sci. Comput. Program. 77, No. 7-8, 870-886 (2012). MSC: 68M14 68N01 68Q85 PDFBibTeX XMLCite \textit{F. Durán} et al., Sci. Comput. Program. 77, No. 7--8, 870--886 (2012; Zbl 1245.68028) Full Text: DOI
Rocha, Camilo; Muñoz, César Simulation and verification of synchronous set relations in rewriting logic. (English) Zbl 1349.68105 Simao, Adenilso (ed.) et al., Formal methods, foundations and applications. 14th Brazilian symposium, SBMF 2011, São Paulo, Brazil, September 26–30, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25031-6/pbk). Lecture Notes in Computer Science 7021, 60-75 (2011). MSC: 68Q42 03B70 68Q60 PDFBibTeX XMLCite \textit{C. Rocha} and \textit{C. Muñoz}, Lect. Notes Comput. Sci. 7021, 60--75 (2011; Zbl 1349.68105) Full Text: DOI Link
Bentea, Lucian; Ölveczky, Peter Csaba Probabilistic real-time rewrite theories and their expressive power. (English) Zbl 1348.68080 Fahrenberg, Uli (ed.) et al., Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24309-7/pbk). Lecture Notes in Computer Science 6919, 60-79 (2011). MSC: 68Q42 68Q87 PDFBibTeX XMLCite \textit{L. Bentea} and \textit{P. C. Ölveczky}, Lect. Notes Comput. Sci. 6919, 60--79 (2011; Zbl 1348.68080) Full Text: DOI Link
Meseguer, José; Roşu, Grigore The rewriting logic semantics project: a progress report. (English) Zbl 1342.68198 Owe, Olaf (ed.) et al., Fundamentals of computation theory. 18th international symposium, FCT 2011, Oslo, Norway, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22952-7/pbk). Lecture Notes in Computer Science 6914, 1-37 (2011). MSC: 68Q55 03B70 68N30 68Q42 68Q60 PDFBibTeX XMLCite \textit{J. Meseguer} and \textit{G. Roşu}, Lect. Notes Comput. Sci. 6914, 1--37 (2011; Zbl 1342.68198) Full Text: DOI
Codescu, Mihai; Mossakowski, Till; Riesco, Adrián; Maeder, Christian Integrating Maude into Hets. (English) Zbl 1308.68075 Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17795-8/pbk). Lecture Notes in Computer Science 6486, 60-75 (2011). MSC: 68Q65 68Q42 68Q60 PDFBibTeX XMLCite \textit{M. Codescu} et al., Lect. Notes Comput. Sci. 6486, 60--75 (2011; Zbl 1308.68075) Full Text: DOI
Boronat, Artur; Meseguer, José An algebraic semantics for MOF. (English) Zbl 1213.68358 Formal Asp. Comput. 22, No. 3-4, 269-296 (2010). MSC: 68Q55 PDFBibTeX XMLCite \textit{A. Boronat} and \textit{J. Meseguer}, Formal Asp. Comput. 22, No. 3--4, 269--296 (2010; Zbl 1213.68358) Full Text: DOI HAL
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso Algebraic simulations. (English) Zbl 1184.68300 J. Log. Algebr. Program. 79, No. 2, 103-143 (2010). MSC: 68Q42 68Q60 03B44 68N17 PDFBibTeX XMLCite \textit{J. Meseguer} et al., J. Log. Algebr. Program. 79, No. 2, 103--143 (2010; Zbl 1184.68300) Full Text: DOI
Durán, Francisco; Lucas, Salvador; Meseguer, José Methods for proving termination of rewriting-based programming languages by transformation. (English) Zbl 1337.68067 Almendros-Jiménez, Jesús M (ed.), Proceedings of the 8th Spanish conference on programming and computer languages (PROLE 2008), Gijón, Spain, October 8–10, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 248, 93-113 (2009). MSC: 68N30 03B70 68N15 68Q42 PDFBibTeX XMLCite \textit{F. Durán} et al., Electron. Notes Theor. Comput. Sci. 248, 93--113 (2009; Zbl 1337.68067) Full Text: DOI
Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro Order-sorted generalization. (English) Zbl 1347.68193 Falaschi, Moreno (ed.), Proceedings of the 17th international workshop on functional and (constraint) logic programming (WFLP 2008), Siena, Italy, July 3–4, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 246, 27-38 (2009). MSC: 68Q42 68N30 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Electron. Notes Theor. Comput. Sci. 246, 27--38 (2009; Zbl 1347.68193) Full Text: DOI
Lucas, Salvador; Meseguer, José Operational termination of membership equational programs: the order-sorted way. (English) Zbl 1347.68198 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, 207-225 (2009). MSC: 68Q42 68N30 PDFBibTeX XMLCite \textit{S. Lucas} and \textit{J. Meseguer}, Electron. Notes Theor. Comput. Sci. 238, No. 3, 207--225 (2009; Zbl 1347.68198) Full Text: DOI
Escobar, Santiago; Meseguer, José; Sasse, Ralf 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 \textit{S. Escobar} et al., Electron. Notes Theor. Comput. Sci. 238, No. 3, 103--119 (2009; Zbl 1347.68194) Full Text: DOI
Caballero, Rafael; Martí-Oliet, Narciso; Riesco, Adrián; Verdejo, Alberto A declarative debugger for Maude functional modules. (English) Zbl 1347.68073 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, 63-81 (2009). MSC: 68N30 68Q42 68Q60 PDFBibTeX XMLCite \textit{R. Caballero} et al., Electron. Notes Theor. Comput. Sci. 238, No. 3, 63--81 (2009; Zbl 1347.68073) Full Text: DOI
Andrei, Oana; Lucanu, Dorel Strategy-based proof calculus for membrane systems. (English) Zbl 1347.68126 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, 23-43 (2009). MSC: 68Q05 68Q10 68Q42 68Q55 PDFBibTeX XMLCite \textit{O. Andrei} and \textit{D. Lucanu}, Electron. Notes Theor. Comput. Sci. 238, No. 3, 23--43 (2009; Zbl 1347.68126) Full Text: DOI
Agrigoroaiei, Oana; Ciobanu, Gabriel Rewriting logic specification of membrane systems with promoters and inhibitors. (English) Zbl 1347.68125 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, 5-22 (2009). MSC: 68Q05 68Q10 68Q42 68Q55 68Q85 PDFBibTeX XMLCite \textit{O. Agrigoroaiei} and \textit{G. Ciobanu}, Electron. Notes Theor. Comput. Sci. 238, No. 3, 5--22 (2009; Zbl 1347.68125) Full Text: DOI
Lucanu, Dorel Strategy-based rewrite semantics for membrane systems preserves maximal concurrency of evolution rule actions. (English) Zbl 1294.68081 Middeldorp, Aart (ed.), Proceedings of the 8th international workshop on reduction strategies in rewriting and programming (WRS 2008), Castle of Hagenberg, Austria, July 14, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 237, 107-125 (2009). MSC: 68Q10 03B45 03B70 68Q42 68Q85 PDFBibTeX XMLCite \textit{D. Lucanu}, Electron. Notes Theor. Comput. Sci. 237, 107--125 (2009; Zbl 1294.68081) Full Text: DOI
Meseguer, José Order-sorted parameterization and induction. (English) Zbl 1253.68215 Palsberg, Jens (ed.), Semantics and algebraic specification. Essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-04163-1/pbk). Lecture Notes in Computer Science 5700, 43-80 (2009). MSC: 68Q55 68Q65 PDFBibTeX XMLCite \textit{J. Meseguer}, Lect. Notes Comput. Sci. 5700, 43--80 (2009; Zbl 1253.68215) Full Text: DOI
Riesco, Adrian; Verdejo, Alberto; Caballero, Rafael; Martí-Oliet, Narciso Declarative debugging of rewriting logic specifications. (English) Zbl 1253.68097 Corradini, Andrea (ed.) et al., Recent trends in algebraic development techniques. 19th international workshop, WADT 2008, Pisa, Italy, June 13–16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03428-2/pbk). Lecture Notes in Computer Science 5486, 308-325 (2009). MSC: 68N30 PDFBibTeX XMLCite \textit{A. Riesco} et al., Lect. Notes Comput. Sci. 5486, 308--325 (2009; Zbl 1253.68097) Full Text: DOI
Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin What is a multi-modeling language? (English) Zbl 1253.68225 Corradini, Andrea (ed.) et al., Recent trends in algebraic development techniques. 19th international workshop, WADT 2008, Pisa, Italy, June 13–16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03428-2/pbk). Lecture Notes in Computer Science 5486, 71-87 (2009). MSC: 68Q65 68N30 PDFBibTeX XMLCite \textit{A. Boronat} et al., Lect. Notes Comput. Sci. 5486, 71--87 (2009; Zbl 1253.68225) Full Text: DOI Link
Roldán, Manuel; Durán, Francisco; Vallecillo, Antonio Invariant-driven specifications in Maude. (English) Zbl 1192.68400 Sci. Comput. Program. 74, No. 10, 812-835 (2009). MSC: 68Q42 PDFBibTeX XMLCite \textit{M. Roldán} et al., Sci. Comput. Program. 74, No. 10, 812--835 (2009; Zbl 1192.68400) Full Text: DOI
Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José A rewriting logic approach to operational semantics. (English) Zbl 1165.68041 Inf. Comput. 207, No. 2, 305-340 (2009). MSC: 68Q55 03B70 68Q42 PDFBibTeX XMLCite \textit{T. F. Şerbănuţă} et al., Inf. Comput. 207, No. 2, 305--340 (2009; Zbl 1165.68041) Full Text: DOI
Popescu, Andrei; Şerbănuţă, Traian Florin; Roşu, Grigore A semantic approach to interpolation. (English) Zbl 1159.03023 Theor. Comput. Sci. 410, No. 12-13, 1109-1128 (2009). MSC: 03C40 03B10 68Q65 PDFBibTeX XMLCite \textit{A. Popescu} et al., Theor. Comput. Sci. 410, No. 12--13, 1109--1128 (2009; Zbl 1159.03023) Full Text: DOI Link
Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro A modular equational generalization algorithm. (English) Zbl 1185.68219 Hanus, Michael (ed.), Logic-based program synthesis and transformation. 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17–18, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-00514-5/pbk). Lecture Notes in Computer Science 5438, 24-39 (2009). MSC: 68N30 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Lect. Notes Comput. Sci. 5438, 24--39 (2009; Zbl 1185.68219) Full Text: DOI
Ölveczky, Peter Csaba; Thorvaldsen, Stian Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude. (English) Zbl 1178.68699 Theor. Comput. Sci. 410, No. 2-3, 254-280 (2009). MSC: 68W40 68M10 68Q42 PDFBibTeX XMLCite \textit{P. C. Ölveczky} and \textit{S. Thorvaldsen}, Theor. Comput. Sci. 410, No. 2--3, 254--280 (2009; Zbl 1178.68699) Full Text: DOI
Durán, Francisco; Lucas, Salvador; Marché, Claude; Meseguer, José; Urbain, Xavier Proving operational termination of membership equational programs. (English) Zbl 1192.68154 High.-Order Symb. Comput. 21, No. 1-2, 59-88 (2008). MSC: 68N99 03B70 68Q42 PDFBibTeX XMLCite \textit{F. Durán} et al., High.-Order Symb. Comput. 21, No. 1--2, 59--88 (2008; Zbl 1192.68154) Full Text: DOI Link
Durán, Francisco; Lucas, Salvador; Meseguer, José MTT: The Maude termination tool. (System description). (English) Zbl 1165.68360 Armando, Alessandro (ed.) et al., Automated reasoning. 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12–15, 2008 Proceedings. Berlin: Springer (ISBN 978-3-540-71069-1/pbk). Lecture Notes in Computer Science 5195. Lecture Notes in Artificial Intelligence, 313-319 (2008). MSC: 68N99 68Q42 68T15 PDFBibTeX XMLCite \textit{F. Durán} et al., Lect. Notes Comput. Sci. 5195, 313--319 (2008; Zbl 1165.68360) Full Text: DOI
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso Equational abstractions. (English) Zbl 1155.68050 Theor. Comput. Sci. 403, No. 2-3, 239-264 (2008). MSC: 68Q60 03B44 68Q65 PDFBibTeX XMLCite \textit{J. Meseguer} et al., Theor. Comput. Sci. 403, No. 2--3, 239--264 (2008; Zbl 1155.68050) Full Text: DOI
Escobar, Santiago; Meseguer, José; Sasse, Ralf Effectively checking the finite variant property. (English) Zbl 1145.68444 Voronkov, Andrei (ed.), Rewriting techniques and applications. 19th international conference, RTA 2008, Hagenberg, Austria, July 15–17, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70588-8/pbk). Lecture Notes in Computer Science 5117, 79-93 (2008). MSC: 68Q42 PDFBibTeX XMLCite \textit{S. Escobar} et al., Lect. Notes Comput. Sci. 5117, 79--93 (2008; Zbl 1145.68444) Full Text: DOI
Caballero, Rafael; Martí-Oliet, Narciso; Riesco, Adrián; Verdejo, Alberto Declarative debugging of membership equational logic specifications. (English) Zbl 1143.68363 Degano, Pierpaolo (ed.) et al., Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-540-68676-7/pbk). Lecture Notes in Computer Science 5065, 174-193 (2008). MSC: 68N30 68N15 PDFBibTeX XMLCite \textit{R. Caballero} et al., Lect. Notes Comput. Sci. 5065, 174--193 (2008; Zbl 1143.68363) Full Text: DOI
Escobar, Santiago; Meseguer, José; Thati, Prasanna Narrowing and rewriting logic: from foundations to applications. (English) Zbl 1279.68205 López Fraguas, Francisco J. (ed.), Proceedings of the 15th workshop on functional and (constraint) logic programming (WFLP 2006), Madrid, Spain, November 16–17, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 177, 5-33 (2007). MSC: 68Q60 03B70 68Q42 PDFBibTeX XMLCite \textit{S. Escobar} et al., Electron. Notes Theor. Comput. Sci. 177, 5--33 (2007; Zbl 1279.68205) Full Text: DOI
Ölveczky, Peter Csaba; Meseguer, José Abstraction and completeness for real-time Maude. (English) Zbl 1279.68218 Denker, Grit (ed.) et al., Proceedings of the 6th international workshop on rewriting logic and its applications (WRLA 2006), Vienna, Austria, April 1–2, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 176, No. 4, 5-27 (2007). MSC: 68Q60 03B25 03B70 68Q42 PDFBibTeX XMLCite \textit{P. C. Ölveczky} and \textit{J. Meseguer}, Electron. Notes Theor. Comput. Sci. 176, No. 4, 5--27 (2007; Zbl 1279.68218) Full Text: DOI
Ölveczky, Peter Csaba; Meseguer, José Recent advances in real-time Maude. (English) Zbl 1277.68144 Fernández, M. (ed.) et al., Proceedings of the 7th international workshop on rule based programming (RULE 2006), Seattle, WA, USA, August 11, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 1, 65-81 (2007). MSC: 68Q60 68Q42 PDFBibTeX XMLCite \textit{P. C. Ölveczky} and \textit{J. Meseguer}, Electron. Notes Theor. Comput. Sci. 174, No. 1, 65--81 (2007; Zbl 1277.68144) Full Text: DOI
Ölveczky, Peter Csaba; Meseguer, José Semantics and pragmatics of real-time maude. (English) Zbl 1115.68095 High.-Order Symb. Comput. 20, No. 1-2, 161-196 (2007). MSC: 68Q42 68Q60 PDFBibTeX XMLCite \textit{P. C. Ölveczky} and \textit{J. Meseguer}, High.-Order Symb. Comput. 20, No. 1--2, 161--196 (2007; Zbl 1115.68095) Full Text: DOI
Meseguer, José; Thati, Prasanna Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. (English) Zbl 1115.68079 High.-Order Symb. Comput. 20, No. 1-2, 123-160 (2007). MSC: 68P25 PDFBibTeX XMLCite \textit{J. Meseguer} and \textit{P. Thati}, High.-Order Symb. Comput. 20, No. 1--2, 123--160 (2007; Zbl 1115.68079) Full Text: DOI
Meseguer, José; Roşu, Grigore The rewriting logic semantics project. (English) Zbl 1111.68068 Theor. Comput. Sci. 373, No. 3, 213-237 (2007). MSC: 68Q55 68Q42 PDFBibTeX XMLCite \textit{J. Meseguer} and \textit{G. Roşu}, Theor. Comput. Sci. 373, No. 3, 213--237 (2007; Zbl 1111.68068) Full Text: DOI
Clavel, Manuel; Meseguer, José; Palomino, Miguel Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. (English) Zbl 1111.03034 Theor. Comput. Sci. 373, No. 1-2, 70-91 (2007). MSC: 03B70 68Q42 68N30 PDFBibTeX XMLCite \textit{M. Clavel} et al., Theor. Comput. Sci. 373, No. 1--2, 70--91 (2007; Zbl 1111.03034) Full Text: DOI
Ölveczky, Peter Csaba; Meseguer, José; Talcott, Carolyn L. Specification and analysis of the AER/NCA active network protocol suite in real-time Maude. (English) Zbl 1109.68010 Form. Methods Syst. Des. 29, No. 3, 253-293 (2006). MSC: 68M12 PDFBibTeX XMLCite \textit{P. C. Ölveczky} et al., Form. Methods Syst. Des. 29, No. 3, 253--293 (2006; Zbl 1109.68010) Full Text: DOI Link
Escobar, Santiago; Meadows, Catherine; Meseguer, José A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties. (English) Zbl 1153.94375 Theor. Comput. Sci. 367, No. 1-2, 162-202 (2006). MSC: 94A60 94A62 68Q42 68Q60 PDFBibTeX XMLCite \textit{S. Escobar} et al., Theor. Comput. Sci. 367, No. 1--2, 162--202 (2006; Zbl 1153.94375) Full Text: DOI
Bruni, Roberto; Meseguer, José Semantic foundations for generalized rewrite theories. (English) Zbl 1097.68051 Theor. Comput. Sci. 360, No. 1-3, 386-414 (2006). MSC: 68Q42 68Q55 68Q85 03B70 03C05 PDFBibTeX XMLCite \textit{R. Bruni} and \textit{J. Meseguer}, Theor. Comput. Sci. 360, No. 1--3, 386--414 (2006; Zbl 1097.68051) Full Text: DOI
Verdejo, Alberto; Martí-Oliet, Narciso Executable structural operational semantics in Maude. (English) Zbl 1088.68095 J. Log. Algebr. Program. 67, No. 1-2, 226-293 (2006). MSC: 68Q55 68Q60 68Q85 03B45 03B70 PDFBibTeX XMLCite \textit{A. Verdejo} and \textit{N. Martí-Oliet}, J. Log. Algebr. Program. 67, No. 1--2, 226--293 (2006; Zbl 1088.68095) Full Text: DOI Link
Lucas, Salvador; Marché, Claude; Meseguer, José Operational termination of conditional term rewriting systems. (English) Zbl 1185.68374 Inf. Process. Lett. 95, No. 4, 446-453 (2005). MSC: 68Q42 68N15 PDFBibTeX XMLCite \textit{S. Lucas} et al., Inf. Process. Lett. 95, No. 4, 446--453 (2005; Zbl 1185.68374) Full Text: DOI
Eker, Steven; Meseguer, José; Sridharanarayanan, Ambarish The Maude LTL model checker. (English) Zbl 1272.68243 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, 162-187 (2004). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{S. Eker} et al., Electron. Notes Theor. Comput. Sci. 71, 162--187 (2004; Zbl 1272.68243) Full Text: Link
Diaconescu, Rǎzvan Herbrand theorems in arbitrary institutions. (English) Zbl 1178.68132 Inf. Process. Lett. 90, No. 1, 29-37 (2004). MSC: 68N17 68Q60 PDFBibTeX XMLCite \textit{R. Diaconescu}, Inf. Process. Lett. 90, No. 1, 29--37 (2004; Zbl 1178.68132) Full Text: DOI
Durán, Francisco; Meseguer, José Structured theories and institutions. (English) Zbl 1070.68090 Theor. Comput. Sci. 309, No. 1-3, 357-380 (2003). MSC: 68Q60 68Q65 18C10 PDFBibTeX XMLCite \textit{F. Durán} and \textit{J. Meseguer}, Theor. Comput. Sci. 309, No. 1--3, 357--380 (2003; Zbl 1070.68090) Full Text: DOI