Eeralla, Ajay Kumar; Lynch, Christopher Bounded ACh unification. (English) Zbl 07283032 Math. Struct. Comput. Sci. 30, No. 6, 664-682 (2020). MSC: 68 PDF BibTeX XML Cite \textit{A. K. Eeralla} and \textit{C. Lynch}, Math. Struct. Comput. Sci. 30, No. 6, 664--682 (2020; Zbl 07283032) Full Text: DOI
Alpuente, M.; Ballis, D.; Sapiña, J. Efficient safety enforcement for Maude programs via program specialization in the ÁTAME system. (English) Zbl 07268447 Math. Comput. Sci. 14, No. 3, 591-606 (2020). MSC: 68N30 PDF BibTeX XML Cite \textit{M. Alpuente} et al., Math. Comput. Sci. 14, No. 3, 591--606 (2020; Zbl 07268447) Full Text: DOI
Durán, Francisco; Meseguer, José; Rocha, Camilo Ground confluence of order-sorted conditional specifications modulo axioms. (English) Zbl 07161326 J. Log. Algebr. Methods Program. 111, Article ID 100513, 117 p. (2020). MSC: 68 PDF BibTeX XML Cite \textit{F. Durán} et al., J. Log. Algebr. Methods Program. 111, Article ID 100513, 117 p. (2020; Zbl 07161326) 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 07161317 J. Log. Algebr. Methods Program. 110, Article ID 100497, 58 p. (2020). MSC: 68 PDF BibTeX XML Cite \textit{F. Durán} et al., J. Log. Algebr. Methods Program. 110, Article ID 100497, 58 p. (2020; Zbl 07161317) Full Text: DOI
Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto Parameterized strategies specification in Maude. (English) Zbl 1444.68104 Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 27-44 (2019). MSC: 68Q60 03B70 68Q42 PDF BibTeX XML Cite \textit{R. Rubio} et al., Lect. Notes Comput. Sci. 11563, 27--44 (2019; Zbl 1444.68104) Full Text: DOI
Alpuente, María; Escobar, Santiago; Sapina, Julia; Ballis, Demis Symbolic analysis of Maude theories with Narval. (English) Zbl 1434.68214 Theory Pract. Log. Program. 19, No. 5-6, 874-890 (2019). MSC: 68Q42 68N15 PDF BibTeX XML Cite \textit{M. Alpuente} et al., Theory Pract. Log. Program. 19, No. 5--6, 874--890 (2019; Zbl 1434.68214) Full Text: DOI
Latreche, Fateh; Moudjari, Abdelkader; Talbi, Hichem Clinical pathways formal modelling using bigraphical reactive systems. (English) Zbl 07142670 Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-32504-6/pbk; 978-3-030-32505-3/ebook). Lecture Notes in Computer Science 11884, 76-90 (2019). MSC: 68Qxx PDF BibTeX XML Cite \textit{F. Latreche} et al., Lect. Notes Comput. Sci. 11884, 76--90 (2019; Zbl 07142670) Full Text: DOI
Zieliński, Bartosz A query language based on term matching and rewriting. (English) Zbl 1427.68135 Fundam. Inform. 169, No. 3, 237-274 (2019). MSC: 68Q42 68P15 68Q85 PDF BibTeX XML Cite \textit{B. Zieliński}, Fundam. Inform. 169, No. 3, 237--274 (2019; Zbl 1427.68135) 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 PDF BibTeX XML Cite \textit{S. Liu} et al., Formal Asp. Comput. 31, No. 5, 503--540 (2019; Zbl 1425.68096) Full Text: DOI
Doan, Ha Thi Thu; Bonnet, François; Ogata, Kazuhiro Model checking of robot gathering. (English) Zbl 07226022 Aspnes, James (ed.) et al., 21st international conference on principles of distributed systems, OPODIS 2017, Lisboa, Portugal, December 18–20, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-061-3). LIPIcs – Leibniz International Proceedings in Informatics 95, Article 12, 16 p. (2018). MSC: 68M14 68M20 PDF BibTeX XML Cite \textit{H. T. T. Doan} et al., LIPIcs -- Leibniz Int. Proc. Inform. 95, Article 12, 16 p. (2018; Zbl 07226022) Full Text: DOI
Meseguer, José Symbolic reasoning methods in rewriting logic and Maude. (English) Zbl 06958305 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 (ISBN 978-3-662-57668-7/pbk; 978-3-662-57669-4/ebook). Lecture Notes in Computer Science 10944, 25-60 (2018). MSC: 03B70 PDF BibTeX XML Cite \textit{J. Meseguer}, Lect. Notes Comput. Sci. 10944, 25--60 (2018; Zbl 06958305) Full Text: DOI
Alpuente, María; Ballis, Demis; Sapiña, Julia Inferring safe Maude programs with ÁTAME. (English) Zbl 1395.68080 Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 1-10 (2018). MSC: 68N15 68-04 68Q42 PDF BibTeX XML Cite \textit{M. Alpuente} et al., Lect. Notes Comput. Sci. 10931, 1--10 (2018; Zbl 1395.68080) Full Text: DOI
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 PDF BibTeX XML Cite \textit{L. Aguirre} et al., J. Autom. Reasoning 60, No. 4, 421--463 (2018; Zbl 1398.68267) Full Text: DOI
Riesco, Adrián Model checking parameterized by the semantics in Maude. (English) Zbl 06900733 Gallagher, John P. (ed.) et al., Functional and logic programming. 14th international symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-90685-0/pbk; 978-3-319-90686-7/ebook). Lecture Notes in Computer Science 10818, 198-213 (2018). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{A. Riesco}, Lect. Notes Comput. Sci. 10818, 198--213 (2018; Zbl 06900733) 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 PDF BibTeX XML Cite \textit{S. Skeirik} and \textit{J. Meseguer}, J. Log. Algebr. Methods Program. 96, 81--110 (2018; Zbl 1430.68423) Full Text: DOI
Kheldoun, Ahmed; Barkaoui, Kamel; Ioualalen, Malika Formal verification of complex business processes based on high-level Petri nets. (English) Zbl 1429.68147 Inf. Sci. 385-386, 39-54 (2017). MSC: 68Q85 68Q42 68Q60 PDF BibTeX XML Cite \textit{A. Kheldoun} et al., Inf. Sci. 385--386, 39--54 (2017; Zbl 1429.68147) Full Text: DOI
Rusu, Vlad; Arusoaie, Andrei Executing and verifying higher-order functional-imperative programs in Maude. (English) Zbl 1372.68056 J. Log. Algebr. Methods Program. 93, 68-91 (2017). MSC: 68N18 03B70 PDF BibTeX XML Cite \textit{V. Rusu} and \textit{A. Arusoaie}, J. Log. Algebr. Methods Program. 93, 68--91 (2017; Zbl 1372.68056) Full Text: DOI
Riesco, Adrián; Ogata, Kazuhiro; Futatsugi, Kokichi A Maude environment for CafeOBJ. (English) Zbl 1358.68195 Formal Asp. Comput. 29, No. 2, 309-334 (2017). MSC: 68Q60 68N20 68Q42 PDF BibTeX XML Cite \textit{A. Riesco} et al., Formal Asp. Comput. 29, No. 2, 309--334 (2017; Zbl 1358.68195) Full Text: DOI
Alpuente, M.; Frechina, F.; Sapiña, J.; Ballis, D. Assertion-based analysis via slicing with \(\mathsf{ABETS}\) (system description). (English) Zbl 1379.68088 Theory Pract. Log. Program. 16, No. 5-6, 515-532 (2016). MSC: 68N20 68N17 68Q42 PDF BibTeX XML Cite \textit{M. Alpuente} et al., Theory Pract. Log. Program. 16, No. 5--6, 515--532 (2016; Zbl 1379.68088) Full Text: DOI
Rusu, Vlad; Lucanu, Dorel; Şerbănuţă, Traian-Florin; Arusoaie, Andrei; Ştefănescu, Andrei; Roşu, Grigore Language definitions as rewrite theories. (English) Zbl 1356.68125 J. Log. Algebr. Methods Program. 85, No. 1, Part 1, 98-120 (2016). MSC: 68Q42 68N30 68Q55 PDF BibTeX XML Cite \textit{V. Rusu} et al., J. Log. Algebr. Methods Program. 85, No. 1, Part 1, 98--120 (2016; Zbl 1356.68125) 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 PDF BibTeX XML Cite \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 PDF BibTeX XML Cite \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 PDF BibTeX XML Cite \textit{S. Skeirik} and \textit{J. Meseguer}, Lect. Notes Comput. Sci. 9942, 167--184 (2016; Zbl 1367.68256) Full Text: DOI
Padberg, Julia; Schulz, Alexander Model checking reconfigurable Petri nets with Maude. (English) Zbl 1344.68141 Echahed, Rachid (ed.) et al., Graph transformation. 9th international conference, ICGT 2016, in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5–6, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40529-2/pbk; 978-3-319-40530-8/ebook). Lecture Notes in Computer Science 9761, 54-70 (2016). MSC: 68Q60 68Q42 68Q85 PDF BibTeX XML Cite \textit{J. Padberg} and \textit{A. Schulz}, Lect. Notes Comput. Sci. 9761, 54--70 (2016; Zbl 1344.68141) Full Text: DOI
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 PDF BibTeX XML Cite \textit{M. Alpuente} et al., J. Log. Algebr. Methods Program. 85, No. 5, Part 1, 707--736 (2016; Zbl 1348.68027) Full Text: DOI
Martí-Oliet, Narciso; Durán, Francisco; Verdejo, Alberto Equational abstractions in rewriting logic and Maude. (English) Zbl 1335.68143 Braga, Christiano (ed.) et al., Formal methods: foundations and applications. 17th Brazilian symposium, SBMF 2014, Maceió, AL, Brazil, September 29 – October 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-15074-1/pbk). Lecture Notes in Computer Science 8941, 17-31 (2015). MSC: 68Q60 03B70 68N15 68Q42 68Q85 PDF BibTeX XML Cite \textit{N. Martí-Oliet} et al., Lect. Notes Comput. Sci. 8941, 17--31 (2015; Zbl 1335.68143) Full Text: DOI
Pita, Isabel; Riesco, Adrián Specifying and analyzing the Kademlia protocol in Maude. (English) Zbl 06545745 Leucker, Martin (ed.) et al., Theoretical aspects of computing – ICTAC 2015. 12th international colloquium Cali, Colombia, October 29–31, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-25149-3/pbk; 978-3-319-25150-9/ebook). Lecture Notes in Computer Science 9399, 524-541 (2015). MSC: 68Qxx PDF BibTeX XML Cite \textit{I. Pita} and \textit{A. Riesco}, Lect. Notes Comput. Sci. 9399, 524--541 (2015; Zbl 06545745) Full Text: DOI
Riesco, Adrián; Asavoae, Irina Mariuca; Asavoae, Mihail Memory policy analysis for semantics specifications in Maude. (English) Zbl 06539460 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, 293-310 (2015). MSC: 68N30 PDF BibTeX XML Cite \textit{A. Riesco} et al., Lect. Notes Comput. Sci. 9527, 293--310 (2015; Zbl 06539460) 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 PDF BibTeX XML Cite \textit{L. Aguirre} et al., Lect. Notes Comput. Sci. 9200, 48--71 (2015; Zbl 1321.68324) 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 PDF BibTeX XML Cite \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
Alpuente, M.; Ballis, D.; Frechina, F.; Sapiña, J. Exploring conditional rewriting logic computations. (English) Zbl 1315.68166 J. Symb. Comput. 69, 3-39 (2015). MSC: 68Q42 03B70 68N30 PDF BibTeX XML Cite \textit{M. Alpuente} et al., J. Symb. Comput. 69, 3--39 (2015; Zbl 1315.68166) Full Text: DOI
Lucas, Salvador; Meseguer, José Strong and weak operational termination of order-sorted rewrite theories. (English) Zbl 1367.68144 Escobar, Santiago (ed.), Rewriting logic and its applications. 10th international workshop, WRLA 2014, held as a satellite event of ETAPS, Grenoble, France, April 5–6, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-12903-7/pbk; 978-3-319-12904-4/ebook). Lecture Notes in Computer Science 8663, 178-194 (2014). MSC: 68Q42 PDF BibTeX XML Cite \textit{S. Lucas} and \textit{J. Meseguer}, Lect. Notes Comput. Sci. 8663, 178--194 (2014; Zbl 1367.68144) Full Text: DOI
Aguirre, Luis; Martí-Oliet, Narciso; Palomino, Miguel; Pita, Isabel Conditional narrowing modulo in rewriting logic and Maude. (English) Zbl 1367.68123 Escobar, Santiago (ed.), Rewriting logic and its applications. 10th international workshop, WRLA 2014, held as a satellite event of ETAPS, Grenoble, France, April 5–6, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-12903-7/pbk; 978-3-319-12904-4/ebook). Lecture Notes in Computer Science 8663, 80-96 (2014). MSC: 68Q42 PDF BibTeX XML Cite \textit{L. Aguirre} et al., Lect. Notes Comput. Sci. 8663, 80--96 (2014; Zbl 1367.68123) Full Text: DOI
Riesco, Adrián Using big-step and small-step semantics in Maude to perform declarative debugging. (English) Zbl 1416.68044 Codish, Michael (ed.) et al., Functional and logic programming. 12th international symposium, FLOPS 2014, Kanazawa, Japan, June 4–6, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8475, 52-68 (2014). MSC: 68N18 68Q42 68Q55 PDF BibTeX XML Cite \textit{A. Riesco}, Lect. Notes Comput. Sci. 8475, 52--68 (2014; Zbl 1416.68044) Full Text: DOI
Riesco, Adrián; Rodríguez-Hortalá, Juan Singular and plural functions for functional logic programming. (English) Zbl 1286.68057 Theory Pract. Log. Program. 14, No. 1, 65-116 (2014). MSC: 68N17 68N18 68Q55 68Q42 PDF BibTeX XML Cite \textit{A. Riesco} and \textit{J. Rodríguez-Hortalá}, Theory Pract. Log. Program. 14, No. 1, 65--116 (2014; Zbl 1286.68057) Full Text: DOI
Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narciso Model checking TLR* guarantee formulas on infinite systems. (English) Zbl 1407.68296 Iida, Shusaku (ed.) et al., Specification, algebra, and software. Essays dedicated to Kokichi Futatsugi. Berlin: Springer. Lect. Notes Comput. Sci. 8373, 129-150 (2014). MSC: 68Q60 68Q42 PDF BibTeX XML Cite \textit{Ó. Martín} et al., Lect. Notes Comput. Sci. 8373, 129--150 (2014; Zbl 1407.68296) 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 PDF BibTeX XML Cite \textit{J. Meseguer} and \textit{G. Roşu}, Inf. Comput. 231, 38--69 (2013; Zbl 1435.68188) Full Text: DOI
Riesco, Adrián; Asăvoae, Irina Măriuca; Asăvoae, Mihail A generic program slicing technique based on language definitions. (English) Zbl 1394.68084 Martí-Oliet, Narciso (ed.) et al., Recent trends in algebraic development techniques. 21st international workshop, WADT 2012, Salamanca, Spain, June 7–10, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-37634-4/pbk). Lecture Notes in Computer Science 7841, 248-264 (2013). MSC: 68N30 68Q42 68Q55 PDF BibTeX XML Cite \textit{A. Riesco} et al., Lect. Notes Comput. Sci. 7841, 248--264 (2013; Zbl 1394.68084) Full Text: DOI
Pita, Isabel; Fernández-Camacho, María-Inés Formal specification of the Kademlia and the Kad routing tables in Maude. (English) Zbl 1394.68235 Martí-Oliet, Narciso (ed.) et al., Recent trends in algebraic development techniques. 21st international workshop, WADT 2012, Salamanca, Spain, June 7–10, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-37634-4/pbk). Lecture Notes in Computer Science 7841, 231-247 (2013). MSC: 68Q60 68M12 68P05 68Q42 PDF BibTeX XML Cite \textit{I. Pita} and \textit{M.-I. Fernández-Camacho}, Lect. Notes Comput. Sci. 7841, 231--247 (2013; Zbl 1394.68235) Full Text: DOI
Eckhardt, Jonas; Mühlbauer, Tobias; Meseguer, José; Wirsing, Martin Statistical model checking for composite actor systems. (English) Zbl 1394.68228 Martí-Oliet, Narciso (ed.) et al., Recent trends in algebraic development techniques. 21st international workshop, WADT 2012, Salamanca, Spain, June 7–10, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-37634-4/pbk). Lecture Notes in Computer Science 7841, 143-160 (2013). MSC: 68Q60 68Q42 PDF BibTeX XML Cite \textit{J. Eckhardt} et al., Lect. Notes Comput. Sci. 7841, 143--160 (2013; Zbl 1394.68228) Full Text: DOI
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko A rewriting framework for activities subject to regulations. (English) Zbl 1437.68082 Tiwari, Ashish (ed.), 23rd international conference on rewriting techniques and applications (RTA’12), Nagoya, Japan, May 28 – June 2, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 15, 305-322 (2012). MSC: 68Q42 68Q25 68T20 92C50 PDF BibTeX XML Cite \textit{M. Kanovich} et al., LIPIcs -- Leibniz Int. Proc. Inform. 15, 305--322 (2012; Zbl 1437.68082) 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 PDF BibTeX XML Cite \textit{K. Bae} et al., Sci. Comput. Program. 77, No. 12, 1235--1271 (2012; Zbl 1264.68051) Full Text: DOI
Caballero, Rafael; Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso Simplifying questions in Maude declarative debugger by transforming proof trees. (English) Zbl 1377.68072 Vidal, Germán (ed.), Logic-based program synthesis and transformation. 21st international symposium, LOPSTR 2011. Odense, Denmark, July 18–20, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32210-5/pbk). Lecture Notes in Computer Science 7225, 73-89 (2012). MSC: 68N30 PDF BibTeX XML Cite \textit{R. Caballero} et al., Lect. Notes Comput. Sci. 7225, 73--89 (2012; Zbl 1377.68072) 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 PDF BibTeX XML Cite \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 PDF BibTeX XML Cite \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
Riesco, Adrián; Rodríguez-Hortalá, Juan S-narrowing for constructor systems. (English) Zbl 1362.68125 Roychoudhury, Abhik (ed.) et al., Theoretical aspects of computing – ICTAC 2012. 9th international colloquium, Bangalore, India, September 24–27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32942-5/pbk). Lecture Notes in Computer Science 7521, 136-150 (2012). MSC: 68Q42 94A60 PDF BibTeX XML Cite \textit{A. Riesco} and \textit{J. Rodríguez-Hortalá}, Lect. Notes Comput. Sci. 7521, 136--150 (2012; Zbl 1362.68125) 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 PDF BibTeX XML Cite \textit{F. Durán} et al., Sci. Comput. Program. 77, No. 7--8, 870--886 (2012; Zbl 1245.68028) Full Text: DOI
Bruni, Roberto; Kersten, Anne; Lanese, Ivan; Spagnolo, Giorgio A new strategy for distributed compensations with interruption in long-running transactions. (English) Zbl 1312.68126 Mossakowski, Till (ed.) et al., Recent trends in algebraic development techniques. 20th international workshop, WADT 2010, Etelsen, Germany, July 1–4, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28411-3/pbk). Lecture Notes in Computer Science 7137, 42-60 (2012). MSC: 68Q55 68P15 68Q42 68Q85 PDF BibTeX XML Cite \textit{R. Bruni} et al., Lect. Notes Comput. Sci. 7137, 42--60 (2012; Zbl 1312.68126) Full Text: DOI
Rademaker, Alexandre A proof theory for description logics. (English) Zbl 1333.68003 SpringerBriefs in Computer Science. New York, NY: Springer (ISBN 978-1-4471-4001-6/pbk; 978-1-4471-4002-3/ebook). x, 106 p. (2012). Reviewer: Éric Martin (Sydney) MSC: 68-02 03F03 68T15 68T27 68T30 PDF BibTeX XML Cite \textit{A. Rademaker}, A proof theory for description logics. New York, NY: Springer (2012; Zbl 1333.68003) Full Text: DOI
Aceto, Luca; Caltais, Georgiana; Goriac, Eugen-Ioan; Ingolfsdottir, Anna PREG axiomatizer – a ground bisimilarity checker for GSOS with predicates. (English) Zbl 1344.68199 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, 378-385 (2011). MSC: 68T15 68Q55 68Q60 68Q85 PDF BibTeX XML Cite \textit{L. Aceto} et al., Lect. Notes Comput. Sci. 6859, 378--385 (2011; Zbl 1344.68199) Full Text: DOI
Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso A complete declarative debugger for Maude. (English) Zbl 1308.68069 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, 216-225 (2011). MSC: 68Q42 68Q60 PDF BibTeX XML Cite \textit{A. Riesco} et al., Lect. Notes Comput. Sci. 6486, 216--225 (2011; Zbl 1308.68069) 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 PDF BibTeX XML Cite \textit{M. Codescu} et al., Lect. Notes Comput. Sci. 6486, 60--75 (2011; Zbl 1308.68075) Full Text: DOI
Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso Declarative debugging of missing answers for Maude. (English) Zbl 1236.68146 Lynch, Christopher (ed.), Proceedings of the 21st international conference on rewriting techniques and applications (RTA 2010), July 11–13, 2010, Edinburgh, Scottland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-18-7). LIPIcs – Leibniz International Proceedings in Informatics 6, 277-294, electronic only (2010). MSC: 68Q42 68N30 03B70 PDF BibTeX XML Cite \textit{A. Riesco} et al., LIPIcs -- Leibniz Int. Proc. Inform. 6, 277--294 (2010; Zbl 1236.68146) Full Text: DOI Link
Riesco, Adrian; Verdejo, Alberto; Martí-Oliet, Narciso Enhancing the debugging of Maude specifications. (English) Zbl 1306.68085 Ö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, 226-242 (2010). MSC: 68Q42 03B70 68N30 68Q60 PDF BibTeX XML Cite \textit{A. Riesco} et al., Lect. Notes Comput. Sci. 6381, 226--242 (2010; Zbl 1306.68085) Full Text: DOI
Bae, Kyungmin; Meseguer, José The linear temporal logic of rewriting Maude model checker. (English) Zbl 1306.68099 Ö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, 208-225 (2010). MSC: 68Q60 03B44 68Q42 68Q45 PDF BibTeX XML Cite \textit{K. Bae} and \textit{J. Meseguer}, Lect. Notes Comput. Sci. 6381, 208--225 (2010; Zbl 1306.68099) Full Text: DOI
Durán, Francisco; Ouederni, Meriem; Salaün, Gwen Checking protocol compatibility using Maude. (English) Zbl 1364.68282 Salaün, Gwen (ed.) et al., Proceedings of the 8th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2009), Rhodes, Greece, July 11, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 255, 65-81 (2009). MSC: 68Q85 03B70 68Q42 68Q60 PDF BibTeX XML Cite \textit{F. Durán} et al., Electron. Notes Theor. Comput. Sci. 255, 65--81 (2009; Zbl 1364.68282) Full Text: Link
Basuki, Thomas Anung; Cerone, Antonio; Milazzo, Paolo Translating stochastic CLS into Maude. (English) Zbl 1347.68340 Ciobanu, Gabriel (ed.), Proceedings of the 2nd international meeting on membrane computing and biologically inspired process calculi (MeCBIC 2008), Iaşi, Romania, September 3–4, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 227, 37-58 (2009). MSC: 68U05 68Q42 68Q60 92C40 PDF BibTeX XML Cite \textit{T. A. Basuki} et al., Electron. Notes Theor. Comput. Sci. 227, 37--58 (2009; Zbl 1347.68340) Full Text: DOI
Yu, Yue; Ren, Shangping; Talcott, Carolyn Coordinating asynchronous and open distributed systems under semiring-based timing constraints. (English) Zbl 1347.68032 Canal, Carlos (ed.) et al., Proceedings of the 7th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2008), Reykjavik, Iceland, July 13, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 2, 133-153 (2009). MSC: 68M14 68N30 68Q42 68Q60 68Q85 PDF BibTeX XML Cite \textit{Y. Yu} et al., Electron. Notes Theor. Comput. Sci. 229, No. 2, 133--153 (2009; Zbl 1347.68032) Full Text: DOI
Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto A rewriting semantics for Maude strategies. (English) Zbl 1347.68199 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, 227-247 (2009). MSC: 68Q42 68Q55 PDF BibTeX XML Cite \textit{N. Martí-Oliet} et al., Electron. Notes Theor. Comput. Sci. 238, No. 3, 227--247 (2009; Zbl 1347.68199) Full Text: DOI
Holen, Bjarne; Johnsen, Einar Broch; Waaler, Arild Proof search for the first-order connection calculus in Maude. (English) Zbl 1347.68302 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, 173-188 (2009). MSC: 68T15 03B10 68Q42 68Q60 PDF BibTeX XML Cite \textit{B. Holen} et al., Electron. Notes Theor. Comput. Sci. 238, No. 3, 173--188 (2009; Zbl 1347.68302) Full Text: DOI
Goriac, Eugen-Ioan; Caltais, Georgiana; Lucanu, Dorel; Andrei, Oana; Grigoraş, Gheorghe Patterns for Maude metalanguage applications. (English) Zbl 1347.68083 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, 121-138 (2009). MSC: 68N30 68Q42 PDF BibTeX XML Cite \textit{E.-I. Goriac} et al., Electron. Notes Theor. Comput. Sci. 238, No. 3, 121--138 (2009; Zbl 1347.68083) 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 PDF BibTeX XML Cite \textit{R. Caballero} et al., Electron. Notes Theor. Comput. Sci. 238, No. 3, 63--81 (2009; Zbl 1347.68073) Full Text: DOI
Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo Hierarchical design rewriting with Maude. (English) Zbl 1347.68072 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, 45-62 (2009). MSC: 68N30 68Q42 PDF BibTeX XML Cite \textit{R. Bruni} et al., Electron. Notes Theor. Comput. Sci. 238, No. 3, 45--62 (2009; Zbl 1347.68072) 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 PDF BibTeX XML Cite \textit{O. Agrigoroaiei} and \textit{G. Ciobanu}, Electron. Notes Theor. Comput. Sci. 238, No. 3, 5--22 (2009; Zbl 1347.68125) Full Text: DOI
Lescaylle, Alexei; Villanueva, Alicia The tccp interpreter. (English) Zbl 1294.68047 Lucio, Paqui (ed.) et al., Proceedings of the 9th Spanish conference on programming and computer languages (PROLE 2009), San Sebastián, Spain, September 9–11, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 258, No. 1, 63-77 (2009). MSC: 68N20 68N15 68Q60 68T15 PDF BibTeX XML Cite \textit{A. Lescaylle} and \textit{A. Villanueva}, Electron. Notes Theor. Comput. Sci. 258, No. 1, 63--77 (2009; Zbl 1294.68047) Full Text: DOI
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 PDF BibTeX XML Cite \textit{M. Roldán} et al., Sci. Comput. Program. 74, No. 10, 812--835 (2009; Zbl 1192.68400) Full Text: DOI
Kahramanoğulları, Ozan Maude as a platform for designing and implementing deep inference systems. (English) Zbl 1286.68398 Visser, Joost (ed.) et al., Proceedings of the 8th international workshop on rule based programming (RULE 2007), Paris, France, June 29, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 219, 35-50 (2008). MSC: 68T15 03B70 68Q42 PDF BibTeX XML Cite \textit{O. Kahramanoğulları}, Electron. Notes Theor. Comput. Sci. 219, 35--50 (2008; Zbl 1286.68398) Full Text: DOI
Basuki, Thomas Anung; Cerone, Antonio; Milazzo, Paolo Translating stochastic CLS into MAUDE. (English) Zbl 1221.68154 Ciobanu, Gabriel (ed.), MeCBIC 2008. 2nd international meeting on membrane computing and biologically inspired process calculi. Papers based on the presentations at the meeting, Iaşi, Romania, September 3–4, 2008. Iaşi: Universitatea “AI.I.Cuza”, Seminarul Matematic “A. Myller”. 68-84 (2008). MSC: 68Q60 68Q87 PDF BibTeX XML Cite \textit{T. A. Basuki} et al., in: MeCBIC 2008. 2nd international meeting on membrane computing and biologically inspired process calculi. Papers based on the presentations at the meeting, Iaşi, Romania, September 3--4, 2008. Iaşi: Universitatea ``AI.I.Cuza'', Seminarul Matematic ``A. Myller''. 68--84 (2008; Zbl 1221.68154)
Nakajima, Shin Data constraints for validation of real-time software. (English) Zbl 1157.68389 Pahl, C. (ed.), Software engineering. Proceedings of the IASTED international conference (SE 2008), as part of the 26th IASTED international multi-conference on applied informatics, Innsbruck, Austria, February 12–14, 2008. Calgary: International Association of Science and Technology for Development (IASTED); Anaheim, CA: Acta Press (ISBN 978-0-88986-716-1/CD-ROM). 98-105 (2008). MSC: 68Q60 PDF BibTeX XML Cite \textit{S. Nakajima}, in: Software engineering. Proceedings of the IASTED international conference (SE 2008), as part of the 26th IASTED international multi-conference on applied informatics, Innsbruck, Austria, February 12--14, 2008. Calgary: International Association of Science and Technology for Development (IASTED); Anaheim, CA: Acta Press. 98--105 (2008; Zbl 1157.68389)
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 PDF BibTeX XML Cite \textit{J. Meseguer} et al., Theor. Comput. Sci. 403, No. 2--3, 239--264 (2008; Zbl 1155.68050) 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 PDF BibTeX XML Cite \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 PDF BibTeX XML Cite \textit{S. Escobar} et al., Electron. Notes Theor. Comput. Sci. 177, 5--33 (2007; Zbl 1279.68205) Full Text: DOI
Neuhäußer, Martin; Noll, Thomas Abstraction and model checking of core Erlang programs in Maude. (English) Zbl 1279.68216 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, 147-163 (2007). MSC: 68Q60 68N17 68N18 68N19 68Q42 PDF BibTeX XML Cite \textit{M. Neuhäußer} and \textit{T. Noll}, Electron. Notes Theor. Comput. Sci. 176, No. 4, 147--163 (2007; Zbl 1279.68216) Full Text: DOI
Santos-García, Gustavo; Palomino, Miguel Solving Sudoku puzzles with rewriting rules. (English) Zbl 1279.68119 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, 79-93 (2007). MSC: 68Q42 05B15 PDF BibTeX XML Cite \textit{G. Santos-García} and \textit{M. Palomino}, Electron. Notes Theor. Comput. Sci. 176, No. 4, 79--93 (2007; Zbl 1279.68119) Full Text: DOI
Farzan, Azadeh; Meseguer, José Partial order reduction for rewriting semantics of programming languages. (English) Zbl 1279.68207 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, 61-78 (2007). MSC: 68Q60 68N15 68Q42 68Q55 PDF BibTeX XML Cite \textit{A. Farzan} and \textit{J. Meseguer}, Electron. Notes Theor. Comput. Sci. 176, No. 4, 61--78 (2007; Zbl 1279.68207) Full Text: DOI
Katelman, Michael; Meseguer, José A rewriting semantics for ABEL with applications to hardware/software co-design and analysis. (English) Zbl 1279.68189 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, 47-60 (2007). MSC: 68Q55 03B70 68Q42 68Q60 PDF BibTeX XML Cite \textit{M. Katelman} and \textit{J. Meseguer}, Electron. Notes Theor. Comput. Sci. 176, No. 4, 47--60 (2007; Zbl 1279.68189) Full Text: DOI
Hidalgo-Herrero, Mercedes; Verdejo, Alberto; Ortega-Mallén, Yolanda Using Maude and its strategies for defining a framework for analyzing Eden semantics. (English) Zbl 1277.68104 Antoy, Sergio (ed.), Proceedings of the sixth international workshop on reduction strategies in rewriting and programming (WRS 2006), Seattle, WA, USA, August 11, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 10, 119-137 (2007). MSC: 68Q42 68N18 68Q55 PDF BibTeX XML Cite \textit{M. Hidalgo-Herrero} et al., Electron. Notes Theor. Comput. Sci. 174, No. 10, 119--137 (2007; Zbl 1277.68104) 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 PDF BibTeX XML Cite \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
Eker, Steven; Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto Deduction, strategies, and rewriting. (English) Zbl 1277.68241 Archer, Myler (ed.) et al., Proceedings of the 6th international workshop on strategies in automated deduction (STRATEGIES 2006), Seattle, WA, USA, August 16, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 11, 3-25 (2007). MSC: 68T15 68Q42 PDF BibTeX XML Cite \textit{S. Eker} et al., Electron. Notes Theor. Comput. Sci. 174, No. 11, 3--25 (2007; Zbl 1277.68241) Full Text: DOI
Mokhati, Farid; Badri, Mourad; Badri, Linda A formal framework supporting the specification of the interactions between agents. (English) Zbl 1147.68576 Informatica, Ljubl. 31, No. 3, 337-350 (2007). MSC: 68Q60 68T05 PDF BibTeX XML Cite \textit{F. Mokhati} et al., Informatica, Ljubl. 31, No. 3, 337--350 (2007; Zbl 1147.68576)
Martí-Oliet, Narciso; Palomino, Miguel; Verdejo, Alberto Strategies and simulations in a semantic framework. (English) Zbl 1131.68059 J. Algorithms 62, No. 3-4, 95-116 (2007). MSC: 68Q55 68N18 68Q42 PDF BibTeX XML Cite \textit{N. Martí-Oliet} et al., J. Algorithms 62, No. 3--4, 95--116 (2007; Zbl 1131.68059) Full Text: DOI
Durán, Francisco; Meseguer, José Maude’s module algebra. (English) Zbl 1116.68047 Sci. Comput. Program. 66, No. 2, 125-153 (2007). MSC: 68Q60 68N30 68Q42 03B70 18C10 PDF BibTeX XML Cite \textit{F. Durán} and \textit{J. Meseguer}, Sci. Comput. Program. 66, No. 2, 125--153 (2007; Zbl 1116.68047) Full Text: DOI
Andrei, Oana; Ciobanu, Gabriel; Lucanu, Dorel A rewriting logic framework for operational semantics of membrane systems. (English) Zbl 1111.68064 Theor. Comput. Sci. 373, No. 3, 163-181 (2007). MSC: 68Q55 68Q10 68Q42 PDF BibTeX XML Cite \textit{O. Andrei} et al., Theor. Comput. Sci. 373, No. 3, 163--181 (2007; Zbl 1111.68064) 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 PDF BibTeX XML Cite \textit{M. Clavel} et al., Theor. Comput. Sci. 373, No. 1--2, 70--91 (2007; Zbl 1111.03034) Full Text: DOI
Rosa-Velardo, Fernando; Segura, Clara; Verdejo, Alberto Typed mobile ambients in Maude. (English) Zbl 1276.68101 Cristea, Horatiu (ed.) et al., Proceedings of the 6th international workshop on rule-based programming (RULE 2005), Nara, Japan, April 23, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 147, No. 1, 135-161 (2006). MSC: 68Q55 68N30 68Q42 68Q85 PDF BibTeX XML Cite \textit{F. Rosa-Velardo} et al., Electron. Notes Theor. Comput. Sci. 147, No. 1, 135--161 (2006; Zbl 1276.68101) Full Text: Link
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 PDF BibTeX XML Cite \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
Verdejo, Alberto; Martí-Oliet, Narciso Two case studies of semantics execution in Maude: CCS and LOTOS. (English) Zbl 1086.68552 Form. Methods Syst. Des. 27, No. 1-2, 113-172 (2005). MSC: 68Q42 68Q55 68Q60 68Q85 03B70 PDF BibTeX XML Cite \textit{A. Verdejo} and \textit{N. Martí-Oliet}, Form. Methods Syst. Des. 27, No. 1--2, 113--172 (2005; Zbl 1086.68552) Full Text: DOI
Havelund, Klaus; Roşu, Grigore An overview of the runtime verification tool Java PathExplorer. (English) Zbl 1073.68549 Form. Methods Syst. Des. 24, No. 2, 189-215 (2004). MSC: 68N15 PDF BibTeX XML Cite \textit{K. Havelund} and \textit{G. Roşu}, Form. Methods Syst. Des. 24, No. 2, 189--215 (2004; Zbl 1073.68549) Full Text: DOI
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 PDF BibTeX XML Cite \textit{N. Kumar} et al., Lect. Notes Comput. Sci. 2884, 32--46 (2003; Zbl 1253.68244) 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 PDF BibTeX XML Cite \textit{F. Durán} and \textit{J. Meseguer}, Theor. Comput. Sci. 309, No. 1--3, 357--380 (2003; Zbl 1070.68090) Full Text: DOI
Meseguer, José; Roşu, Grigore Towards behavioral Maude: behavioral membership equational logic. (English) Zbl 1270.68194 Moss, Lawrence S. (ed.), CMCS’2002: Coalgebraic methods in computer science. Proceedings of the 5th workshop (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 1, 197-253 (2002). MSC: 68Q65 03G30 PDF BibTeX XML Cite \textit{J. Meseguer} and \textit{G. Roşu}, Electron. Notes Theor. Comput. Sci. 65, No. 1, 197--253 (2002; Zbl 1270.68194) Full Text: DOI
Verdejo, Alberto Building tools for LOTOS symbolic semantics in Maude. (English) Zbl 1037.68516 Peled, Doron A. (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2002. 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11–14, 2002. Proceedings. Berlin: Springer (ISBN 3-540-00141-7/pbk). Lect. Notes Comput. Sci. 2529, 292-307 (2002). MSC: 68M14 68Q60 68Q55 PDF BibTeX XML Cite \textit{A. Verdejo}, Lect. Notes Comput. Sci. 2529, 292--307 (2002; Zbl 1037.68516) Full Text: Link
Verdejo, Alberto; Pita, Isabel; Martí-Oliet, Narciso Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic. (English) Zbl 1029.68023 Formal Asp. Comput. 14, No. 3, 228-246 (2002). MSC: 68M12 68Q42 PDF BibTeX XML Cite \textit{A. Verdejo} et al., Formal Asp. Comput. 14, No. 3, 228--246 (2002; Zbl 1029.68023) Full Text: DOI
Wirsing, Martin; Knapp, Alexander A formal approach to object-oriented software engineering. (English) Zbl 1001.68024 Theor. Comput. Sci. 285, No. 2, 519-560 (2002). MSC: 68N19 68Q42 PDF BibTeX XML Cite \textit{M. Wirsing} and \textit{A. Knapp}, Theor. Comput. Sci. 285, No. 2, 519--560 (2002; Zbl 1001.68024) Full Text: DOI
Pita, Isabel; Martí-Oliet, Narciso A Maude specification of an object-oriented model for telecommunication networks. (English) Zbl 1001.68004 Theor. Comput. Sci. 285, No. 2, 407-439 (2002). MSC: 68M10 68Q42 PDF BibTeX XML Cite \textit{I. Pita} and \textit{N. Martí-Oliet}, Theor. Comput. Sci. 285, No. 2, 407--439 (2002; Zbl 1001.68004) Full Text: DOI
Ölveczky, Peter Csaba; Meseguer, José Specification of real-time and hybrid systems in rewriting logic. (English) Zbl 1001.68061 Theor. Comput. Sci. 285, No. 2, 359-405 (2002). MSC: 68Q42 68T27 PDF BibTeX XML Cite \textit{P. C. Ölveczky} and \textit{J. Meseguer}, Theor. Comput. Sci. 285, No. 2, 359--405 (2002; Zbl 1001.68061) Full Text: DOI
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N. Maude: specification and programming in rewriting logic. (English) Zbl 1001.68059 Theor. Comput. Sci. 285, No. 2, 187-243 (2002). MSC: 68Q42 68T27 PDF BibTeX XML Cite \textit{M. Clavel} et al., Theor. Comput. Sci. 285, No. 2, 187--243 (2002; Zbl 1001.68059) Full Text: DOI
Olveczky, Peter Csaba; Meseguer, Jose Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems. (English) Zbl 0962.68109 Futatsugi, Kokichi, The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18-20, 2000. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 36, 22 p., electronic only (2000). MSC: 68Q60 68Q42 PDF BibTeX XML Cite \textit{P. C. Olveczky} and \textit{J. Meseguer}, in: The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18--20, 2000. Amsterdam: Elsevier. 22 p. (2000; Zbl 0962.68109) Full Text: Link
Clavel, M.; Duran, F.; Eker, S.; Lincoln, P.; Marti-Oliet, N.; Meseguer, J.; Quesada, J. F. Towards Maude 2. 0. (English) Zbl 0962.68108 Futatsugi, Kokichi, The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18-20, 2000. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 36, 22 p., electronic only (2000). MSC: 68Q60 68Q42 PDF BibTeX XML Cite \textit{M. Clavel} et al., in: The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18--20, 2000. Amsterdam: Elsevier. 22 p. (2000; Zbl 0962.68108) Full Text: Link
Rodriguez, Dilia E. Case studies in the specification and analysis of protocols in Maude. (English) Zbl 0962.68105 Futatsugi, Kokichi, The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18-20, 2000. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 36, 17 p., electronic only (2000). MSC: 68Q60 PDF BibTeX XML Cite \textit{D. E. Rodriguez}, in: The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18--20, 2000. Amsterdam: Elsevier. 17 p. (2000; Zbl 0962.68105) Full Text: Link