Capra, Lorenzo; Köhler-Bußmeier, Michael Modular rewritable Petri nets: an efficient model for dynamic distributed systems. (English) Zbl 07807468 Theor. Comput. Sci. 990, Article ID 114397, 34 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{L. Capra} and \textit{M. Köhler-Bußmeier}, Theor. Comput. Sci. 990, Article ID 114397, 34 p. (2024; Zbl 07807468) Full Text: DOI
Ramírez Restrepo, Carlos Alberto; Jaramillo, Juan C.; Pérez, Jorge A. Session-based concurrency in Maude: executable semantics and type checking. (English) Zbl 1512.68173 J. Log. Algebr. Methods Program. 133, Article ID 100872, 42 p. (2023). MSC: 68Q85 68Q42 68Q60 PDFBibTeX XMLCite \textit{C. A. Ramírez Restrepo} et al., J. Log. Algebr. Methods Program. 133, Article ID 100872, 42 p. (2023; Zbl 1512.68173) Full Text: DOI
Capra, Lorenzo Canonization of reconfigurable PT nets in Maude. (English) Zbl 07714983 Lin, Anthony W. (ed.) et al., Reachability problems. 16th international conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13608, 160-177 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{L. Capra}, Lect. Notes Comput. Sci. 13608, 160--177 (2022; Zbl 07714983) Full Text: DOI
Zieliński, Bartosz A non-deterministic multiset query language. (English) Zbl 1522.68182 Fundam. Inform. 184, No. 2, 141-180 (2021). MSC: 68P15 68Q42 PDFBibTeX XMLCite \textit{B. Zieliński}, Fundam. Inform. 184, No. 2, 141--180 (2021; Zbl 1522.68182) Full Text: DOI arXiv
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
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
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 PDFBibTeX XMLCite \textit{J. Padberg} and \textit{A. Schulz}, Lect. Notes Comput. Sci. 9761, 54--70 (2016; Zbl 1344.68141) Full Text: DOI
Stehr, Mark-Oliver; Kim, Minyoung; McCarthy, Tim A distributed computing model for dataflow, controlflow, and workflow in fractionated cyber-physical systems. (English) Zbl 1323.68280 Calude, Cristian S. (ed.) et al., Computing with new resources. Essays dedicated to Jozef Gruska on the occasion of his 80th birthday. Cham: Springer (ISBN 978-3-319-13349-2/pbk; 978-3-319-13350-8/ebook). Lecture Notes in Computer Science 8808, 379-393 (2014). MSC: 68Q05 68Q10 68U20 PDFBibTeX XMLCite \textit{M.-O. Stehr} et al., Lect. Notes Comput. Sci. 8808, 379--393 (2014; Zbl 1323.68280) 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
Rosa-Velardo, Fernando; Martos-Salgado, María Multiset rewriting for the verification of depth-bounded processes with name binding. (English) Zbl 1277.68204 Inf. Comput. 215, 68-87 (2012). MSC: 68Q85 68Q42 68Q60 PDFBibTeX XMLCite \textit{F. Rosa-Velardo} and \textit{M. Martos-Salgado}, Inf. Comput. 215, 68--87 (2012; Zbl 1277.68204) Full Text: DOI
Bentea, Lucian; Ölveczky, Peter Csaba Probabilistic real-time rewrite theories and their expressive power. (English) Zbl 1348.68080 Fahrenberg, Uli (ed.) et al., Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24309-7/pbk). Lecture Notes in Computer Science 6919, 60-79 (2011). MSC: 68Q42 68Q87 PDFBibTeX XMLCite \textit{L. Bentea} and \textit{P. C. Ölveczky}, Lect. Notes Comput. Sci. 6919, 60--79 (2011; Zbl 1348.68080) Full Text: DOI Link
Huang, Hejiao; Kirchner, Hélène Component-based security policy design with colored Petri nets. (English) Zbl 1253.68242 Palsberg, Jens (ed.), Semantics and algebraic specification. Essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-04163-1/pbk). Lecture Notes in Computer Science 5700, 21-42 (2009). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{H. Huang} and \textit{H. Kirchner}, Lect. Notes Comput. Sci. 5700, 21--42 (2009; Zbl 1253.68242) Full Text: DOI
Padawitz, Peter Expander2: program verification between interaction and automation. (English) Zbl 1279.68293 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, 35-57 (2007). MSC: 68T15 03B70 68N30 68Q65 68Q42 PDFBibTeX XMLCite \textit{P. Padawitz}, Electron. Notes Theor. Comput. Sci. 177, 35--57 (2007; Zbl 1279.68293) Full Text: DOI
Rosa-Velardo, Fernando Coding mobile synchronizing Petri nets into rewriting logic. (English) Zbl 1277.68145 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, 83-98 (2007). MSC: 68Q60 68Q42 68Q85 PDFBibTeX XMLCite \textit{F. Rosa-Velardo}, Electron. Notes Theor. Comput. Sci. 174, No. 1, 83--98 (2007; Zbl 1277.68145) 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
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
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
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
Ö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 PDFBibTeX XMLCite \textit{P. C. Ölveczky} and \textit{J. Meseguer}, Theor. Comput. Sci. 285, No. 2, 359--405 (2002; Zbl 1001.68061) 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