Alpuente, María; Ballis, Demis; Escobar, Santiago; Meseguer, Jose; Sapiña, Julia 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 \textit{M. Alpuente} et al., Lect. Notes Comput. Sci. 13160, 21--50 (2023; Zbl 07729469) 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
Liu, Si; Ölveczky, Peter Csaba; Zhang, Min; Wang, Qi; Meseguer, José 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 \textit{S. Liu} et al., Lect. Notes Comput. Sci. 11428, 40--57 (2019; Zbl 1527.68025) Full Text: DOI
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
Meseguer, José Symbolic reasoning methods in rewriting logic and Maude. (English) Zbl 1509.68121 Moss, Lawrence S. (ed.) et al., Logic, language, information, and computation. 25th international workshop, WoLLIC 2018, Bogota, Colombia, July 24–27, 2018. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10944, 25-60 (2018). MSC: 68Q42 03B70 68Q45 68Q60 68Q85 PDFBibTeX XMLCite \textit{J. Meseguer}, Lect. Notes Comput. Sci. 10944, 25--60 (2018; Zbl 1509.68121) Full Text: DOI
Liu, Si; Ölveczky, Peter Csaba; Meseguer, José 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 \textit{S. Liu} et al., Lect. Notes Comput. Sci. 8950, 231--252 (2015; Zbl 1454.68014) 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
Bae, Kyungmin; Meseguer, José 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 \textit{K. Bae} and \textit{J. Meseguer}, Lect. Notes Comput. Sci. 8560, 61--76 (2014; Zbl 1416.68118) 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
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
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
Bae, Kyungmin; Escobar, Santiago; Meseguer, José 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 \textit{K. Bae} et al., LIPIcs -- Leibniz Int. Proc. Inform. 21, 81--96 (2011; Zbl 1356.68140) Full Text: DOI
Rocha, Camilo; Meseguer, José 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 \textit{C. Rocha} and \textit{J. Meseguer}, Lect. Notes Comput. Sci. 6859, 314--328 (2011; Zbl 1344.68142) Full Text: DOI Link
Katelman, Michael; Keller, Sean; Meseguer, José 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 \textit{M. Katelman} et al., Lect. Notes Comput. Sci. 6381, 140--156 (2010; Zbl 1306.68078) 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
Lucas, Salvador; Meseguer, José Termination of just/fair computations in term rewriting. (English) Zbl 1146.68040 Inf. Comput. 206, No. 5, 652-675 (2008). MSC: 68Q42 68N19 68Q85 PDFBibTeX XMLCite \textit{S. Lucas} and \textit{J. Meseguer}, Inf. Comput. 206, No. 5, 652--675 (2008; Zbl 1146.68040) Full Text: DOI Link
Escobar, Santiago; Meseguer, José 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 \textit{S. Escobar} and \textit{J. Meseguer}, Lect. Notes Comput. Sci. 4533, 153--168 (2007; Zbl 1203.68097) Full Text: DOI Link
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn 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). MSC: 68N15 68N30 68M14 03B70 68-02 PDFBibTeX XMLCite \textit{M. Clavel} et al., All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. Berlin: Springer (2007; Zbl 1115.68046)
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
Lucas, Salvador; Meseguer, José 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 \textit{S. Lucas} and \textit{J. Meseguer}, Lect. Notes Comput. Sci. 3835, 184--198 (2005; Zbl 1143.68491) Full Text: DOI
Meseguer, José Functorial semantics of rewrite theories. (English) Zbl 1075.68042 Kreowski, Hans-Jörg (ed.) et al., Formal methods in software and systems modeling. Essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-24936-2/pbk). Lecture Notes in Computer Science 3393, 220-235 (2005). MSC: 68Q42 68Q85 18C10 PDFBibTeX XMLCite \textit{J. Meseguer}, Lect. Notes Comput. Sci. 3393, 220--235 (2005; Zbl 1075.68042) Full Text: DOI
Martí-Oliet, Narciso; Pita, Isabel; Fiadeiro, José Luiz; Meseguer, José; Maibaum, Tom A verification logic for rewriting logic. (English) Zbl 1101.68684 J. Log. Comput. 15, No. 3, 317-352 (2005). MSC: 68Q60 68Q85 03B44 03B45 68Q42 PDFBibTeX XMLCite \textit{N. Martí-Oliet} et al., J. Log. Comput. 15, No. 3, 317--352 (2005; Zbl 1101.68684) Full Text: DOI
Bruni, Roberto; Meseguer, José; Montanari, Ugo 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 \textit{R. Bruni} et al., Electron. Notes Theor. Comput. Sci. 71, 90--109 (2004; Zbl 1272.68291) Full Text: Link
Kumar, Nirman; Sen, Koushik; Meseguer, José; Agha, Gul 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). MSC: 68Q85 68M14 68Q42 68Q87 PDFBibTeX XMLCite \textit{N. Kumar} et al., Lect. Notes Comput. Sci. 2884, 32--46 (2003; Zbl 1253.68244) Full Text: DOI
Meseguer, José; Talcott, Carolyn Semantic models for distributed object reflection. (English) Zbl 1049.68815 Magnusson, Boris (ed.), ECOOP 2002 - object-oriented programming. 16th European conference, Málaga, Spain, June 10–14, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43759-2). Lect. Notes Comput. Sci. 2374, 1-36 (2002). MSC: 68U99 68N19 68M14 PDFBibTeX XMLCite \textit{J. Meseguer} and \textit{C. Talcott}, Lect. Notes Comput. Sci. 2374, 1--36 (2002; Zbl 1049.68815) Full Text: Link
Stehr, Mark-Oliver; Meseguer, José; Ölveczky, Peter Csaba 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). MSC: 68Q42 68Q60 68Q85 68Q55 PDFBibTeX XMLCite \textit{M.-O. Stehr} et al., Electron. Notes Theor. Comput. Sci. 44, No. 4, 140--162 (2001; Zbl 1263.68094) Full Text: DOI
Meseguer, José 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 \textit{J. Meseguer}, in: 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; Zbl 0968.68079)
Martí-Oliet, Narciso; Meseguer, José Action and change in rewriting logic. (English) Zbl 0930.03028 Pareschi, Remo (ed.) et al., Dynamic worlds. From the frame problem to knowledge management. Dordrecht: Kluwer Academic Publishers. Appl. Log. Ser. 12, 1-53 (1999). Reviewer: D.Gruska (Bratislava) MSC: 03B60 68Q42 03B70 68Q85 68T30 68T27 PDFBibTeX XMLCite \textit{N. Martí-Oliet} and \textit{J. Meseguer}, Appl. Log. Ser. 12, 1--53 (1999; Zbl 0930.03028)
Meseguer, José Rewriting logic as a semantic framework for concurrency: a progress report. (English) Zbl 1514.68175 Montanari, Ugo (ed.) et al., CONCUR ‘96: Concurrency theory. 7th international conference, Pisa, Italy, August 26–29, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1119, 331-372 (1996). MSC: 68Q85 03B70 68Q42 68Q55 PDFBibTeX XMLCite \textit{J. Meseguer}, Lect. Notes Comput. Sci. 1119, 331--372 (1996; Zbl 1514.68175) Full Text: DOI
Aida, Hitoshi; Goguen, Joseph; Meseguer, José 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 \textit{H. Aida} et al., Lect. Notes Comput. Sci. 516, 319--332 (1991; Zbl 1507.68138) Full Text: DOI