Ipate, Florentin; Niculescu, Ionuţ; Lefticaru, Raluca; Konur, Savas; Gheorghe, Marian A model learning based testing approach for kernel P systems. (English) Zbl 1512.68095 Theor. Comput. Sci. 965, Article ID 113975, 14 p. (2023). MSC: 68Q07 68Q32 PDFBibTeX XMLCite \textit{F. Ipate} et al., Theor. Comput. Sci. 965, Article ID 113975, 14 p. (2023; Zbl 1512.68095) Full Text: DOI
Olarte, Carlos; Pimentel, Elaine; Rocha, Camilo A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems. (English) Zbl 07618126 J. Log. Algebr. Methods Program. 130, Article ID 100827, 37 p. (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{C. Olarte} et al., J. Log. Algebr. Methods Program. 130, Article ID 100827, 37 p. (2023; Zbl 07618126) Full Text: DOI arXiv
Tokas, Shukun; Owe, Olaf; Ramezanifarkhani, Toktam Static checking of GDPR-related privacy compliance for object-oriented distributed systems. (English) Zbl 07485814 J. Log. Algebr. Methods Program. 125, Article ID 100733, 33 p. (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{S. Tokas} et al., J. Log. Algebr. Methods Program. 125, Article ID 100733, 33 p. (2022; Zbl 07485814) Full Text: DOI
Colvin, Robert J. Parallelized sequential composition and hardware weak memory models. (English) Zbl 1522.68147 Calinescu, Radu (ed.) et al., Software engineering and formal methods. 19th international conference, SEFM 2021, virtual event, December 6–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13085, 201-221 (2021). MSC: 68N30 68Q85 PDFBibTeX XMLCite \textit{R. J. Colvin}, Lect. Notes Comput. Sci. 13085, 201--221 (2021; Zbl 1522.68147) Full Text: DOI
Aman, Bogdan; Ciobanu, Gabriel Travelling salesman problem in tissue P systems with costs. (English) Zbl 1469.68018 J. Membr. Comput. 3, No. 2, 97-104 (2021). MSC: 68Q07 68Q42 90C27 PDFBibTeX XMLCite \textit{B. Aman} and \textit{G. Ciobanu}, J. Membr. Comput. 3, No. 2, 97--104 (2021; Zbl 1469.68018) Full Text: DOI
Xie, Wanling; Zhu, Huibiao; Xu, Qiwen A process calculus BigrTiMo of mobile systems and its formal semantics. (English) Zbl 1511.68189 Formal Asp. Comput. 33, No. 2, 207-249 (2021). MSC: 68Q85 68N30 68Q55 68Q60 PDFBibTeX XMLCite \textit{W. Xie} et al., Formal Asp. Comput. 33, No. 2, 207--249 (2021; Zbl 1511.68189) Full Text: DOI
Dokter, Kasper; Gadducci, Fabio; Lion, Benjamin; Santini, Francesco Soft constraint automata with memory. (English) Zbl 1455.68087 J. Log. Algebr. Methods Program. 118, Article ID 100615, 17 p. (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{K. Dokter} et al., J. Log. Algebr. Methods Program. 118, Article ID 100615, 17 p. (2021; Zbl 1455.68087) Full Text: DOI Link
Cockx, Jesper Type theory unchained: extending Agda with user-defined rewrite rules. (English) Zbl 07756107 Bezem, Marc (ed.) et al., 25th international conference on types for proofs and programs. TYPES 2019, June 11–14, 2019, Oslo, Norway. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 175, Article 2, 27 p. (2020). MSC: 03B70 68N30 PDFBibTeX XMLCite \textit{J. Cockx}, LIPIcs -- Leibniz Int. Proc. Inform. 175, Article 2, 27 p. (2020; Zbl 07756107) 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
Johansen, Christian; Owe, Olaf Dynamic structural operational semantics. (English) Zbl 1431.68061 J. Log. Algebr. Methods Program. 107, 79-107 (2019). MSC: 68Q55 68N15 PDFBibTeX XMLCite \textit{C. Johansen} and \textit{O. Owe}, J. Log. Algebr. Methods Program. 107, 79--107 (2019; Zbl 1431.68061) Full Text: DOI arXiv
van Binsbergen, L. Thomas; Mosses, Peter D.; Sculthorpe, Neil Executable component-based semantics. (English) Zbl 1417.68095 J. Log. Algebr. Methods Program. 103, 184-212 (2019). MSC: 68Q55 68N15 PDFBibTeX XMLCite \textit{L. T. van Binsbergen} et al., J. Log. Algebr. Methods Program. 103, 184--212 (2019; Zbl 1417.68095) Full Text: DOI Link
Colvin, Robert J.; Smith, Graeme A wide-spectrum language for verification of programs on weak memory models. (English) Zbl 1460.68026 Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 240-257 (2018). MSC: 68N30 68Q55 68Q60 68Q65 PDFBibTeX XMLCite \textit{R. J. Colvin} and \textit{G. Smith}, Lect. Notes Comput. Sci. 10951, 240--257 (2018; Zbl 1460.68026) Full Text: DOI arXiv
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
Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto Verifiable abstractions for contract-oriented systems. (English) Zbl 1353.68194 J. Log. Algebr. Methods Program. 86, No. 1, 159-207 (2017). MSC: 68Q85 68Q42 68Q60 PDFBibTeX XMLCite \textit{M. Bartoletti} et al., J. Log. Algebr. Methods Program. 86, No. 1, 159--207 (2017; Zbl 1353.68194) Full Text: DOI
Şerbănuţă, Traian Florin; Dinu, Liviu P. Maximally parallel contextual string rewriting. (English) Zbl 1367.68152 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, 152-166 (2016). MSC: 68Q42 PDFBibTeX XMLCite \textit{T. F. Şerbănuţă} and \textit{L. P. Dinu}, Lect. Notes Comput. Sci. 9942, 152--166 (2016; Zbl 1367.68152) Full Text: DOI
Colvin, Robert J. Modelling and analysing neural networks using a hybrid process algebra. (English) Zbl 1336.92005 Theor. Comput. Sci. 623, 15-64 (2016). MSC: 92B20 68Q85 PDFBibTeX XMLCite \textit{R. J. Colvin}, Theor. Comput. Sci. 623, 15--64 (2016; Zbl 1336.92005) Full Text: DOI
Ciobanu, Gabriel; Koutny, Maciej; Steggles, Jason Strategy based semantics for mobility with time and access permissions. (English) Zbl 1343.68163 Formal Asp. Comput. 27, No. 3, 525-549 (2015). MSC: 68Q85 68N30 68Q42 PDFBibTeX XMLCite \textit{G. Ciobanu} et al., Formal Asp. Comput. 27, No. 3, 525--549 (2015; Zbl 1343.68163) Full Text: DOI Link
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
Colvin, Robert J. An operational semantics for object-oriented concepts based on the class hierarchy. (English) Zbl 1342.68057 Formal Asp. Comput. 26, No. 3, 491-535 (2014). MSC: 68N19 68Q55 68Q85 PDFBibTeX XMLCite \textit{R. J. Colvin}, Formal Asp. Comput. 26, No. 3, 491--535 (2014; Zbl 1342.68057) Full Text: DOI
Bae, Kyungmin; Meseguer, José A rewriting-based model checker for the linear temporal logic of rewriting. (English) Zbl 1291.68244 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, 19-36 (2012). MSC: 68Q60 03B44 68Q42 PDFBibTeX XMLCite \textit{K. Bae} and \textit{J. Meseguer}, Electron. Notes Theor. Comput. Sci. 290, 19--36 (2012; Zbl 1291.68244) 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
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
Meng, Sun; Arbab, Farhad; Aichernig, Bernhard K.; Aştefănoaei, Lăcrămioara; de Boer, Frank S.; Rutten, Jan Connectors as designs: modeling, refinement and test case generation. (English) Zbl 1242.68070 Sci. Comput. Program. 77, No. 7-8, 799-822 (2012). MSC: 68N30 PDFBibTeX XMLCite \textit{S. Meng} et al., Sci. Comput. Program. 77, No. 7--8, 799--822 (2012; Zbl 1242.68070) Full Text: DOI
Gnaedig, Isabelle; Kirchner, Hélène Proving weak properties of rewriting. (English) Zbl 1234.68178 Theor. Comput. Sci. 412, No. 34, 4405-4438 (2011). MSC: 68Q42 PDFBibTeX XMLCite \textit{I. Gnaedig} and \textit{H. Kirchner}, Theor. Comput. Sci. 412, No. 34, 4405--4438 (2011; Zbl 1234.68178) Full Text: DOI
Broch Johnsen, Einar; Owe, Olaf; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth Validating timed models of deployment components with parametric concurrency. (English) Zbl 1308.68037 Beckert, Bernhard (ed.) et al., Formal verification of object-oriented software. International conference, FoVeOOS 2010, Paris, France, June 28–30, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18069-9/pbk). Lecture Notes in Computer Science 6528, 46-60 (2011). MSC: 68N30 68Q85 PDFBibTeX XMLCite \textit{E. Broch Johnsen} et al., Lect. Notes Comput. Sci. 6528, 46--60 (2011; Zbl 1308.68037) Full Text: DOI
Clarke, Dave; Johnsen, Einar Broch; Owe, Olaf Concurrent objects à la carte. (English) Zbl 1274.68058 Dams, Dennis (ed.) et al., Concurrency, compositionality, and correctness. Essays in honor of Willem-Paul de Roever. Berlin: Springer (ISBN 978-3-642-11511-0/pbk). Lecture Notes in Computer Science 5930, 185-206 (2010). MSC: 68N19 PDFBibTeX XMLCite \textit{D. Clarke} et al., Lect. Notes Comput. Sci. 5930, 185--206 (2010; Zbl 1274.68058) Full Text: DOI Link
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
Rodríguez, Dilia E. Combining techniques to reduce state space and prove strong properties. (English) Zbl 1347.68200 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, 267-280 (2009). MSC: 68Q42 68Q60 PDFBibTeX XMLCite \textit{D. E. Rodríguez}, Electron. Notes Theor. Comput. Sci. 238, No. 3, 267--280 (2009; Zbl 1347.68200) Full Text: DOI
Hills, Mark Memory representations in rewriting logic semantics definitions. (English) Zbl 1347.68196 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, 155-172 (2009). MSC: 68Q42 68N15 68Q55 PDFBibTeX XMLCite \textit{M. Hills}, Electron. Notes Theor. Comput. Sci. 238, No. 3, 155--172 (2009; Zbl 1347.68196) 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
Ellison, Chucky; Şerbănuţă, Traian Florin; Roşu, Grigore A rewriting logic approach to type inference. (English) Zbl 1253.68211 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, 135-151 (2009). MSC: 68Q55 68N30 68Q42 PDFBibTeX XMLCite \textit{C. Ellison} et al., Lect. Notes Comput. Sci. 5486, 135--151 (2009; Zbl 1253.68211) 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 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; Ştefănescu, Gheorghe; Roşu, Grigore Defining and executing P systems with structured data in K. (English) Zbl 1196.68084 Corne, David Wolfe (ed.) et al., Membrane computing. 9th international workshop, WMC 2008, Edinburgh, UK, July 28–31, 2008. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-95884-0/pbk). Lecture Notes in Computer Science 5391, 374-393 (2009). MSC: 68Q10 68Q42 PDFBibTeX XMLCite \textit{T. Şerbănuţă} et al., Lect. Notes Comput. Sci. 5391, 374--393 (2009; Zbl 1196.68084) 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
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 PDFBibTeX XMLCite \textit{O. Kahramanoğulları}, Electron. Notes Theor. Comput. Sci. 219, 35--50 (2008; Zbl 1286.68398) Full Text: DOI
Lucanu, Dorel; Roşu, Grigore; Grigoraş, Gheorghe Regular strategies as proof tactics for CIRC. (English) Zbl 1279.68056 Giesl, J. (ed.), Proceedings of the 7th international workshop on reduction strategies in rewriting and programming (WRS 2007), Paris, France, June 25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 204, 83-98 (2008). MSC: 68N30 68Q42 PDFBibTeX XMLCite \textit{D. Lucanu} et al., Electron. Notes Theor. Comput. Sci. 204, 83--98 (2008; Zbl 1279.68056) 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
Johnsen, Einar Broch; Owe, Olaf; Bjørk, Joakim; Kyas, Marcel An object-oriented component model for heterogeneous nets. (English) Zbl 1209.68339 de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24–26, 2007. Revised lectures. Berlin: Springer (ISBN 978-3-540-92187-5/pbk). Lecture Notes in Computer Science 5382, 257-279 (2008). MSC: 68Q85 68N19 68Q55 PDFBibTeX XMLCite \textit{E. B. Johnsen} et al., Lect. Notes Comput. Sci. 5382, 257--279 (2008; Zbl 1209.68339) Full Text: DOI
Schlatte, Rudolf; Aichernig, Bernhard; de Boer, Frank; Griesmayer, Andreas; Johnsen, Einar Broch Testing concurrent objects with application-specific schedulers. (English) Zbl 1161.68630 Fitzgerald, John S. (ed.) et al., Theoretical aspects of computing – ICTAC 2008. 5th international colloquium, Istanbul, Turkey, September 1–3, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85761-7/pbk). Lecture Notes in Computer Science 5160, 319-333 (2008). MSC: 68Q85 68Q60 68N30 PDFBibTeX XMLCite \textit{R. Schlatte} et al., Lect. Notes Comput. Sci. 5160, 319--333 (2008; Zbl 1161.68630) Full Text: DOI
Johnsen, Einar Broch; Yu, Ingrid Chieh Backwards type analysis of asynchronous method calls. (English) Zbl 1151.68006 J. Log. Algebr. Program. 77, No. 1-2, 40-59 (2008). MSC: 68N19 PDFBibTeX XMLCite \textit{E. B. Johnsen} and \textit{I. C. Yu}, J. Log. Algebr. Program. 77, No. 1--2, 40--59 (2008; Zbl 1151.68006) 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
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{A. Farzan} and \textit{J. Meseguer}, Electron. Notes Theor. Comput. Sci. 176, No. 4, 61--78 (2007; Zbl 1279.68207) Full Text: DOI
Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José A rewriting logic approach to operational semantics (extended abstract). (English) Zbl 1278.68147 van Glabbeek, Rob (ed.) et al., Proceedings of the fourth workshop on structural operational semantics (SOS 2007), Wroclaw, Poland, July 9, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 192, No. 1, 125-141 (2007). MSC: 68Q55 68Q42 68N15 PDFBibTeX XMLCite \textit{T. F. Şerbănuţă} et al., Electron. Notes Theor. Comput. Sci. 192, No. 1, 125--141 (2007; Zbl 1278.68147) Full Text: DOI
van Weerdenburg, Muck An account of implementing applicative term rewriting. (English) Zbl 1277.68109 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, 139-155 (2007). MSC: 68Q42 PDFBibTeX XMLCite \textit{M. van Weerdenburg}, Electron. Notes Theor. Comput. Sci. 174, No. 10, 139--155 (2007; Zbl 1277.68109) 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
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 PDFBibTeX XMLCite \textit{S. Eker} et al., Electron. Notes Theor. Comput. Sci. 174, No. 11, 3--25 (2007; Zbl 1277.68241) Full Text: DOI
Boissière, Samuel; Nieper-Wisskirchen, Marc A. Generating series in the cohomology of Hilbert schemes of points on surfaces. (English) Zbl 1221.14005 LMS J. Comput. Math. 10, 254-270 (2007). MSC: 14C05 14C17 PDFBibTeX XMLCite \textit{S. Boissière} and \textit{M. A. Nieper-Wisskirchen}, LMS J. Comput. Math. 10, 254--270 (2007; Zbl 1221.14005) Full Text: DOI arXiv
Cervesato, Iliano; Stehr, Mark-Oliver Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types. (English) Zbl 1115.68073 High.-Order Symb. Comput. 20, No. 1-2, 3-35 (2007). MSC: 68P25 68Q42 68Q60 PDFBibTeX XMLCite \textit{I. Cervesato} and \textit{M.-O. Stehr}, High.-Order Symb. Comput. 20, No. 1--2, 3--35 (2007; Zbl 1115.68073) 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
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{M. Clavel} et al., Theor. Comput. Sci. 373, No. 1--2, 70--91 (2007; Zbl 1111.03034) Full Text: DOI
Cervesato, Iliano; Scedrov, Andre Relating state-based and process-based concurrency through linear logic. (English) Zbl 1262.68136 Mints, G. (ed.) et al., Proceedings of the 13th workshop on logic, language, information and computation (WoLLIC 2006), Stanford, CA, USA, July 18–21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 165, 145-176 (2006). MSC: 68Q85 03F52 PDFBibTeX XMLCite \textit{I. Cervesato} and \textit{A. Scedrov}, Electron. Notes Theor. Comput. Sci. 165, 145--176 (2006; Zbl 1262.68136) 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
Lucas, Salvador Proving termination of context-sensitive rewriting by transformation. (English) Zbl 1171.68514 Inf. Comput. 204, No. 12, 1782-1846 (2006). MSC: 68Q42 68Q60 PDFBibTeX XMLCite \textit{S. Lucas}, Inf. Comput. 204, No. 12, 1782--1846 (2006; Zbl 1171.68514) Full Text: DOI
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
Visser, Eelco A survey of strategies in rule-based program transformation systems. (English) Zbl 1129.68043 J. Symb. Comput. 40, No. 1, 831-873 (2005). MSC: 68Q55 68Q42 68Q60 68N30 PDFBibTeX XMLCite \textit{E. Visser}, J. Symb. Comput. 40, No. 1, 831--873 (2005; Zbl 1129.68043) Full Text: DOI Link
Marché, Claude; Urbain, Xavier Modular and incremental proofs of AC-termination. (English) Zbl 1137.68419 J. Symb. Comput. 38, No. 1, 873-897 (2004). MSC: 68Q42 68W30 PDFBibTeX XMLCite \textit{C. Marché} and \textit{X. Urbain}, J. Symb. Comput. 38, No. 1, 873--897 (2005; Zbl 1137.68419) 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 PDFBibTeX XMLCite \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
Stehr, Mark-Oliver; Talcott, Carolyn L. Plan in Maude specifying an active network programming language. (English) Zbl 1272.68044 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, 240-260 (2004). MSC: 68M10 68N15 68N18 PDFBibTeX XMLCite \textit{M.-O. Stehr} and \textit{C. L. Talcott}, Electron. Notes Theor. Comput. Sci. 71, 240--260 (2004; Zbl 1272.68044) Full Text: Link
Rodríguez, Dilia E. A secret-sharing protocol modelled in Maude. (English) Zbl 1272.94088 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, 223-239 (2004). MSC: 94A62 68Q42 PDFBibTeX XMLCite \textit{D. E. Rodríguez}, Electron. Notes Theor. Comput. Sci. 71, 223--239 (2004; Zbl 1272.94088) Full Text: Link
Clavel, Manuel; Meseguer, José; Palomino, Miguel Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. (English) Zbl 1272.03137 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, 110-126 (2004). MSC: 03B70 PDFBibTeX XMLCite \textit{M. Clavel} et al., Electron. Notes Theor. Comput. Sci. 71, 110--126 (2004; Zbl 1272.03137) Full Text: Link
Lucas, Salvador Strong and NV-sequentiality of constructor systems. (English) Zbl 1176.68097 Inf. Process. Lett. 89, No. 4, 191-201 (2004). MSC: 68Q42 PDFBibTeX XMLCite \textit{S. Lucas}, Inf. Process. Lett. 89, No. 4, 191--201 (2004; Zbl 1176.68097) Full Text: DOI
Roşu, Grigore Behavioral abstraction is hiding information. (English) Zbl 1105.68076 Theor. Comput. Sci. 327, No. 1-2, 197-221 (2004). MSC: 68Q65 PDFBibTeX XMLCite \textit{G. Roşu}, Theor. Comput. Sci. 327, No. 1--2, 197--221 (2004; Zbl 1105.68076) Full Text: DOI
Feuillade, Guillaume; Genet, Thomas Reachability in conditional term rewriting systems. (English) Zbl 1261.68099 Dahn, Ingo (ed.) et al., FTP’2003: 4th international workshop on first-order theorem proving. Proceedings of the workshop (in connection with RDP’03, federated conference on rewriting, deduction and programming), Valencia, Spain, June 12–14, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 86, No. 1, 133-146 (2003). MSC: 68T15 68Q42 PDFBibTeX XMLCite \textit{G. Feuillade} and \textit{T. Genet}, Electron. Notes Theor. Comput. Sci. 86, No. 1, 133--146 (2003; Zbl 1261.68099) 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
Tarjuelo, Miguel Palomino Comparing Meseguer’s rewriting logic with the logic CRWL. (English) Zbl 1268.68103 Hanus, Michael (ed.), WFLP 2001. Selected papers of the international workshop on functional and (constraint) logic programming, Kiel, Germany, September 13–15, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 64, 255-276 (2002). MSC: 68Q42 03B70 PDFBibTeX XMLCite \textit{M. P. Tarjuelo}, Electron. Notes Theor. Comput. Sci. 64, 255--276 (2002; Zbl 1268.68103) Full Text: DOI
Martí-Oliet, Narciso; Meseguer, José Rewriting logic: Roadmap and bibliography. (English) Zbl 1027.68613 Theor. Comput. Sci. 285, No. 2, 121-154 (2002). MSC: 68Q42 PDFBibTeX XMLCite \textit{N. Martí-Oliet} and \textit{J. Meseguer}, Theor. Comput. Sci. 285, No. 2, 121--154 (2002; Zbl 1027.68613) Full Text: DOI
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