@inproceedings(membrane/AndreiCL06, author = "Oana Andrei and Gabriel Ciobanu and Dorel Lucanu", year = "2006", title = "Expressing Control Mechanisms of Membranes by Rewriting Strategies", editor = "Hendrik Jan Hoogeboom and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa", booktitle = "Membrane Computing, 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers", series = "Lecture Notes in Computer Science", volume = "4361", publisher = "Springer", pages = "154--169", url = "http://dx.doi.org/10.1007/11963516_10", ) @inproceedings(entcs/AndreiL09, author = "Oana Andrei and Dorel Lucanu", year = "2009", title = "Strategy-Based Proof Calculus for Membrane Systems", editor = "Ro{\c {s}}u", pages = "23--43", url = "http://dx.doi.org/10.1016/j.entcs.2009.05.011", ) @inproceedings(iat/AstefanoaeiBD09, author = "Lacramioara Astefanoaei and Frank S. de Boer and Mehdi Dastani", year = "2009", title = "Rewriting Agent Societies Strategically", booktitle = "Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, Milan, Italy, September 15-18, 2009", publisher = "IEEE", pages = "441--444", url = "http://dx.doi.org/10.1109/WI-IAT.2009.321", ) @inproceedings(atal/AstefanoaeiBD10, author = "Lacramioara Astefanoaei and Frank S. de Boer and Mehdi Dastani", year = "2010", title = "Strategic executions of choreographed timed normative multi-agent systems", editor = "Wiebe van der Hoek and Gal A. Kaminka and Yves Lesp{\'e}rance and Michael Luck and Sandip Sen", booktitle = "Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2010, Toronto, Canada, May 10-14, 2010, Volume 1-3", publisher = "IFAAMAS", pages = "965--972", url = "http://doi.acm.org/10.1145/1838206.1838336", ) @article(jucs/AstefanoaeiDMB09, author = "Lacramioara Astefanoaei and Mehdi Dastani and John-Jules Ch. Meyer and Frank S. de Boer", year = "2009", title = "On the Semantics and Verification of Normative Multi-Agent Systems", journal = "Journal of Universal Computer Science", volume = "15", number = "13", pages = "2629--2652", url = "http://www.jucs.org/jucs_15_13/on_the_semantics_and", ) @article(jacm/BachmairD94, author = "Leo Bachmair and Nachum Dershowitz", year = "1994", title = "Equational Inference, Canonical Proofs, and Proof Orderings", journal = "Journal of the ACM", volume = "41", number = "2", pages = "236--276", url = "http://doi.acm.org/10.1145/174652.174655", ) @manual(TOM-manual, author = "Emilie Balland and Paul Brauner and Radu Kopetz and Pierre-Etienne Moreau and Antoine Reilles", year = "2006", title = "{TOM} Manual", url = "http://tom.loria.fr", ) @article(BorovanskyKirchnerKirchnerMoreau02, author = "Peter Borovansk\'y and Claude Kirchner and H{\'e}l{\`e}ne Kirchner and Pierre-Etienne Moreau", year = "2002", title = "{ELAN} from a rewriting logic point of view", journal = "Theoretical Computer Science", volume = "285", number = "2", pages = "155--185", ) @article(BKKR01, author = "Peter Borovansk\'y and Claude Kirchner and H{\'e}l{\`e}ne Kirchner and Christophe Ringeissen", year = "2001", title = "Rewriting with Strategies in {ELAN}: A Functional Semantics", journal = "International Journal of Foundations of Computer Science", volume = "12", pages = "69--95", ) @article(ijfcs/BorovanskyKKR01, author = "Peter Borovansk{\'y} and Claude Kirchner and H{\'e}l{\`e}ne Kirchner and Christophe Ringeissen", year = "2001", title = "Rewriting with Strategies in {ELAN}: A Functional Semantics", journal = "International Journal of Foundations of Computer Science", volume = "12", number = "1", pages = "69--95", url = "http://dx.doi.org/10.1142/S0129054101000412", ) @article(tcs/BouhoulaJM00, author = "Adel Bouhoula and Jean-Pierre Jouannaud and Jos{\'e} Meseguer", year = "2000", title = "Specification and proof in membership equational logic", journal = "Theoretical Computer Science", volume = "236", number = "1-2", pages = "35--132", url = "http://dx.doi.org/10.1016/S0304-3975(99)00206-6", ) @misc(BPEL, author = "BPEL", year = "2007", title = "Web Services Business Process Execution Language ({WS-BPEL}). {Version} 2.0", howpublished = "{OASIS} Standard", ) @misc(BPMN, author = "BPMN", year = "2011", title = "Business Process Model and Notation (BPMN). Version 2.0", howpublished = "{OMG} Specification", ) @inproceedings(amast/BragaHMM00, author = "Christiano Braga and Edward Hermann Haeusler and Jos{\'e} Meseguer and Peter D. Mosses", year = "2000", title = "{M}aude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic", editor = "Teodor Rus", booktitle = "Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings", series = "Lecture Notes in Computer Science", volume = "1816", publisher = "Springer", pages = "407--421", url = "http://dx.doi.org/10.1007/3-540-45499-3_29", ) @inproceedings(sos/BragaV06, author = "Christiano Braga and Alberto Verdejo", year = "2007", title = "Modular Structural Operational Semantics with Strategies", editor = "Rob van Glabbeek and Peter D. Mosses", booktitle = "Proceedings of the Third Workshop on Structural Operational Semantics, SOS 2006, Bonn, Germany, August 26, 2006", series = "Electronic Notes in Theoretical Computer Science", volume = "175(1)", publisher = "Elsevier", pages = "3--17", url = "http://dx.doi.org/10.1016/j.entcs.2006.10.024", ) @inproceedings(entcs/BruniLM09, author = "Roberto Bruni and Alberto Lluch-Lafuente and Ugo Montanari", year = "2009", title = "Hierarchical Design Rewriting with {M}aude", editor = "Ro{\c {s}}u", pages = "45--62", url = "http://dx.doi.org/10.1016/j.entcs.2009.05.012", ) @inproceedings(cardelli98mobile, author = "Luca Cardelli and Andrew D. Gordon", year = "1998", title = "Mobile Ambients", editor = "Maurice Nivat", booktitle = "Foundations of Software Science and Computation Structures, First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28--April 4, 1998 Proceedings", series = "Lecture Notes in Computer Science", volume = "1378", publisher = "Springer", pages = "140--155", ) @inproceedings(entcs/ChalubB07, author = "Fabricio Chalub and Christiano Braga", year = "2007", title = "{Maude MSOS} Tool", editor = "Denker and Talcott", pages = "133--146", url = "http://dx.doi.org/10.1016/j.entcs.2007.06.012", ) @manual(CDELMOMT11, author = "Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and Patrick Lincoln and Narciso Mart{\'\i }-Oliet and Jos{\'e} Meseguer and Carolyn Talcott", year = "2011", title = "{Maude} Manual (Version 2.6)", url = "http://maude.cs.uiuc.edu/maude2-manual", ) @book(maude/2007, author = "Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and Patrick Lincoln and Narciso Mart{\'\i }-Oliet and Jos{\'e} Meseguer and Carolyn L. Talcott", year = "2007", title = "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic", series = "Lecture Notes in Computer Science", volume = "4350", publisher = "Springer", url = "http://dx.doi.org/10.1007/978-3-540-71999-1", ) @inproceedings(Clavel-Meseguer97, author = "Manuel Clavel and Jos{\'e} Meseguer", year = "1997", title = "Internal Strategies in a Reflective Logic", editor = "Bernhard Gramlich and H{\'e}l{\`e}ne Kirchner", booktitle = "Proceedings of the CADE-14 Workshop on Strategies in Automated Deduction", address = "Townsville, Australia", pages = "1--12", ) @proceedings(wrla/2006, editor = "Grit Denker and Carolyn Talcott", year = "2007", title = "Proceedings of the Sixth International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006", series = "Electronic Notes in Theoretical Computer Science", volume = "176(4)", publisher = "Elsevier", ) @inproceedings(strategies/EkerMMV06, author = "Steven Eker and Narciso Mart{\'\i }-Oliet and Jos{\'e} Meseguer and Alberto Verdejo", year = "2007", title = "Deduction, Strategies, and Rewriting", editor = "Myla Archer and Thierry Boy de la Tour and C{\'e}sar Mu{\~n}oz", booktitle = "Proceedings of the 6th International Workshop on Strategies in Automated Deduction, STRATEGIES 2006, Seattle, WA, USA, August 16, 2006", series = "Electronic Notes in Theoretical Computer Science", volume = "174(11)", publisher = "Elsevier", pages = "3--25", url = "http://dx.doi.org/10.1016/j.entcs.2006.03.017", ) @inproceedings(spin/EkerMS03, author = "Steven Eker and Jos{\'e} Meseguer and Ambarish Sridharanarayanan", year = "2003", title = "The {Maude} {LTL} Model Checker and Its Implementation", editor = "Thomas Ball and Sriram K. Rajamani", booktitle = "Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings", series = "Lecture Notes in Computer Science", volume = "2648", publisher = "Springer", pages = "230--234", url = "http://dx.doi.org/10.1007/3-540-44829-2_16", ) @mastersthesis(Henche10, author = "Laura Henche", year = "2009", title = "Introducci\'on a la notaci\'on {BPMN} y su relaci\'on con las estrategias del lenguaje {Maude}", school = "Facultad de Inform\'atica, Universidad Complutense de Madrid, Spain", ) @article(HidalgoOrtega02, author = "Mercedes Hidalgo-Herrero and Yolanda Ortega-Mall\'en", year = "2002", title = "An Operational Semantics for the Parallel Language {Eden}", journal = "Parallel Processing Letters", volume = "12", number = "2", pages = "211--228", ) @inproceedings(parco/Hidalgo-HerreroOR05, author = "Mercedes Hidalgo-Herrero and Yolanda Ortega-Mall{\'e}n and Fernando Rubio", year = "2005", title = "Towards Improving Skeletons in {Eden}", editor = "Gerhard R. Joubert and Wolfgang E. Nagel and Frans J. Peters and Oscar G. Plata and P. Tirado and Emilio L. Zapata", booktitle = "Parallel Computing: Current {\&} Future Issues of High-End Computing, Proceedings of the International Conference ParCo 2005, 13-16 September 2005, Department of Computer Architecture, University of Malaga, Spain", series = "John von Neumann Institute for Computing Series", volume = "33", publisher = "Central Institute for Applied Mathematics, J{\"u}lich, Germany", pages = "843--850", ) @inproceedings(wrs/Hidalgo-HerreroVO07, author = "Mercedes Hidalgo-Herrero and Alberto Verdejo and Yolanda Ortega-Mall{\'e}n", year = "2007", title = "Using {Maude} and Its Strategies for Defining a Framework for Analyzing {Eden} Semantics", editor = "Sergio Antoy", booktitle = "Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2006, Seattle, WA, USA, August 11, 2006", series = "Electronic Notes in Theoretical Computer Science", volume = "174(10)", publisher = "Elsevier", pages = "119--137", url = "http://dx.doi.org/10.1016/j.entcs.2007.02.051", ) @inproceedings(entcs/HolenJW09, author = "Bjarne Holen and Einar Broch Johnsen and Arild Waaler", year = "2009", title = "Proof Search for the First-Order Connection Calculus in {M}aude", editor = "Ro{\c {s}}u", pages = "173--188", url = "http://dx.doi.org/10.1016/j.entcs.2009.05.019", ) @article(jcss/Huet81, author = "G{\'e}rard P. Huet", year = "1981", title = "A Complete Proof of Correctness of the Knuth-Bendix Completion Algorithm", journal = "Journal of Computer and System Sciences", volume = "23", number = "1", pages = "11--21", url = "http://dx.doi.org/10.1016/0022-0000(81)90002-7", ) @inproceedings(rta/KirchnerM95, author = "H{\'e}l{\`e}ne Kirchner and Pierre-Etienne Moreau", year = "1995", title = "Prototyping Completion with Constraints Using Computational Systems", editor = "Jieh Hsiang", booktitle = "Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings", series = "Lecture Notes in Computer Science", volume = "914", publisher = "Springer", pages = "438--443", url = "http://dx.doi.org/10.1007/3-540-59200-8_79", ) @inproceedings(Lescanne89, author = "Pierre Lescanne", year = "1989", title = "Completion Procedures as Transition Rules + Control", editor = "J. D{\'\i }az and F. Orejas", booktitle = "{TAPSOFT'89} Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989", series = "Lecture Notes in Computer Science", volume = "351", publisher = "Springer", pages = "28--41", ) @article(lop04, author = "Rita Loogen and Yolanda {Ortega-Mall\'en} and Ricardo Pe{\~n}a", year = "2005", title = "Parallel Functional Programming in {E}den", journal = "Journal of Functional Programming", volume = "15", number = "1", pages = "431--475", ) @inproceedings(entcs/Lucanu09, author = "Dorel Lucanu", year = "2009", title = "Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions", editor = "Aart Middeldorp", booktitle = "Proceedings of the Eighth International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2008, Castle of Hagenberg, Austria, July 14, 2008", series = "Electronic Notes in Theoretical Computer Science", volume = "237", publisher = "Elsevier", pages = "107--125", url = "http://dx.doi.org/10.1016/j.entcs.2009.03.038", ) @incollection(Marti-OlietMeseguer02b, author = "Narciso Mart{\'\i }-Oliet and Jos{\'e} Meseguer", year = "2002", title = "Rewriting logic as a logical and semantic framework", editor = "Dov M. Gabbay and Franz Guenthner", booktitle = "Handbook of Philosophical Logic, Second Edition, Volume 9", publisher = "Kluwer Academic Publishers", pages = "1--87", ) @inproceedings(MartiOlietMeseguerVerdejo04, author = "Narciso Mart{\'\i }-Oliet and Jos{\'e} Meseguer and Alberto Verdejo", year = "2004", title = "Towards a Strategy Language for {Maude}", editor = "Narciso Mart{\'\i }-Oliet", booktitle = "Proceedings of the Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain, March 27-April 4, 2004", series = "Electronic Notes in Theoretical Computer Science", volume = "117", publisher = "Elsevier", pages = "417--441", url = "http://dx.doi.org/10.1016/j.entcs.2004.06.020", ) @inproceedings(entcs/Marti-OlietMV09, author = "Narciso Mart{\'\i }-Oliet and Jos{\'e} Meseguer and Alberto Verdejo", year = "2009", title = "A Rewriting Semantics for {M}aude Strategies", editor = "Ro{\c {s}}u", pages = "227--247", url = "http://dx.doi.org/10.1016/j.entcs.2009.05.022", ) @inproceedings(iswsa/MerouaniMS10, author = "Hamza Merouani and Farid Mokhati and Hassina Seridi-Bouchelaghem", year = "2010", title = "Towards formalizing web service composition in {Maude}'s strategy language", editor = "Ayman Alnsour and Shadi Aljawarneh", booktitle = "Proceedings of the 1st International Conference on Intelligent Semantic Web-Services and Applications, ISWSA 2010, Amman, Jordan, June 14-16, 2010", publisher = "ACM", pages = "15", url = "http://doi.acm.org/10.1145/1874590.1874605", ) @article(tcs/Meseguer92, author = "Jos{\'e} Meseguer", year = "1992", title = "Conditional Rewriting Logic as a Unified Model of Concurrency", journal = "Theoretical Computer Science", volume = "96", number = "1", pages = "73--155", url = "http://dx.doi.org/10.1016/0304-3975(92)90182-F", ) @inproceedings(amast/MeseguerB04, author = "Jos{\'e} Meseguer and Christiano Braga", year = "2004", title = "Modular Rewriting Semantics of Programming Languages", editor = "Charles Rattray and Savi Maharaj and Carron Shankland", booktitle = "Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings", series = "Lecture Notes in Computer Science", volume = "3116", publisher = "Springer", pages = "364--378", url = "http://dx.doi.org/10.1007/978-3-540-27815-3_29", ) @article(tcs/MeseguerR07, author = "Jos{\'e} Meseguer and Grigore Ro{\c {s}}u", year = "2007", title = "The rewriting logic semantics project", journal = "Theoretical Computer Science", volume = "373", number = "3", pages = "213--237", url = "http://dx.doi.org/10.1016/j.tcs.2006.12.018", ) @inproceedings(RosaSeguraVerdejo05, author = "Fernando Rosa-Velardo and Clara Segura and Alberto Verdejo", year = "2006", title = "Typed Mobile Ambients in {Maude}", editor = "Horatiu Cirstea and Narciso Mart{\'\i }-Oliet", booktitle = "Proceedings of the 6th International Workshop on Rule-Based Programming, RULE 2005, Nara, Japan, April 23, 2005", series = "Electronic Notes in Theoretical Computer Science", volume = "147(1)", publisher = "Elsevier", pages = "135--161", url = "http://dx.doi.org/10.1016/j.entcs.2005.06.041", ) @proceedings(wrla/2008, editor = "Grigore Ro{\c {s}}u", year = "2009", title = "Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008", series = "Electronic Notes in Theoretical Computer Science", volume = "238(3)", publisher = "Elsevier", ) @inproceedings(entcs/Santos-GarciaP07, author = "Gustavo Santos-Garc{\'\i }a and Miguel Palomino", year = "2007", title = "Solving Sudoku Puzzles with Rewriting Rules", editor = "Denker and Talcott", pages = "79--93", url = "http://dx.doi.org/10.1016/j.entcs.2007.06.009", ) @inproceedings(dcai/Santos-GarciaPV08, author = "Gustavo Santos-Garc{\'\i }a and Miguel Palomino and Alberto Verdejo", year = "2009", title = "Rewriting Logic Using Strategies for Neural Networks: An Implementation in {Maude}", editor = "Juan M. Corchado and Sara Rodr{\'i}guez and James Llinas and Jos{\'e} M. Molina", booktitle = "Proceedings of the International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2008, University of Salamanca, Spain, October 22-24, 2008", series = "Advances in Soft Computing", volume = "50", publisher = "Springer", pages = "424--433", url = "http://dx.doi.org/10.1007/978-3-540-85863-8_50", ) @article(ulidowski, author = "Irek Ulidowski and Iain Phillips", year = "2002", title = "Ordered {SOS} Process Languages for Branching and Eager Bisimulations", journal = "Information and Computation", volume = "178", pages = "180--213", ) @inproceedings(Visser01, author = "Eelco Visser", year = "2001", title = "Stratego: A Language for Program Transformation Based on Rewriting Strategies", editor = "Aart Middeldorp", booktitle = "Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings", series = "Lecture Notes in Computer Science", volume = "2051", publisher = "Springer", pages = "357--362", ) @inproceedings(Visser04, author = "Eelco Visser", year = "2004", title = "Program Transformation with {Stratego/XT}: Rules, Strategies, Tools, and Systems in {StrategoXT-0.9}", editor = "C. Lengauer", booktitle = "Domain-Specific Program Generation", series = "Lecture Notes in Computer Science", volume = "3016", publisher = "Springer", pages = "216--238", )