{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:28:52Z","timestamp":1761596932800},"publisher-location":"Berlin, Heidelberg","reference-count":109,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291077"},{"type":"electronic","value":"9783540320722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560647_1","type":"book-chapter","created":{"date-parts":[[2005,10,20]],"date-time":"2005-10-20T10:04:06Z","timestamp":1129802646000},"page":"1-28","source":"Crossref","is-referenced-by-count":5,"title":["A Rewriting Logic Sampler"],"prefix":"10.1007","author":[{"given":"Jos\u00e9","family":"Meseguer","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Agha, G., Gunter, C., Greenwald, M., Khanna, S., Meseguer, J., Sen, K., Thati, P.: Formal modeling and analysis of DoS using probabilistic rewrite theories. In: Workshop on Foundations of Computer Security (FCS 2005) (Affiliated with LICS 2005) (2005)"},{"key":"1_CR2","unstructured":"Agha, G., Meseguer, J., Sen, K.: PMaude: Rewrite-based specification language for probabilistic object systems. In: 3rd Workshop on Quantitative Aspects of Programming Languages, QAPL 2005 (2005)"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Ahrendt, W., Roth, A., Sasse, R.: Automatic validation of transformation rules for Java verification against a rewriting semantics (June 2005) (manuscript)","DOI":"10.1007\/11591191_29"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Basin, D., Clavel, M., Meseguer, J.: Reflective metalogical frameworks. ACM Transactions on Computational Logic (2004)","DOI":"10.1145\/1013560.1013566"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/3-540-44450-5_4","volume-title":"FST TCS 2000: Foundations of Software Technology and Theoretical Science","author":"D. Basin","year":"2000","unstructured":"Basin, D., Clavel, M., Meseguer, J.: Rewriting logic as a metalogical framework. In: Kapoor, S., Prasad, S. (eds.) FST TCS 2000. LNCS, vol.\u00a01974, pp. 55\u201380. Springer, Heidelberg (2000)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Basin, D., Denker, G.: Maude versus Haskell: An experimental comparison in security protocol analysis. In: Futatsugi, K. (ed.) [52], pp. 235\u2013256, http:\/\/www.elsevier.nl\/locate\/entcs\/volume36.html","DOI":"10.1016\/S1571-0661(05)80141-0"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/S0304-3975(01)00358-9","volume":"285","author":"P. Borovansk\u00fd","year":"2002","unstructured":"Borovansk\u00fd, P., Kirchner, C., Kirchner, H., Moreau, P.-E.: ELAN from a rewriting logic point of view. Theoretical Computer Science\u00a0285, 155\u2013185 (2002)","journal-title":"Theoretical Computer Science"},{"key":"1_CR8","unstructured":"Braga, C.: Rewriting Logic as a Semantic Framework for Modular Structural Operational Semantics. PhD thesis, Departamento de Inform\u00e1tica, Pontificia Universidade Cat\u00f3lica de Rio de Janeiro, Brasil (2001)"},{"key":"1_CR9","unstructured":"Braga, C., Meseguer, J.: Modular rewriting semantics in practice. In: Proc. WRLA 2004. ENTCS (2004)"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/3-540-45061-0_22","volume-title":"Automata, Languages and Programming","author":"R. Bruni","year":"2003","unstructured":"Bruni, R., Meseguer, J.: Generalized rewrite theories. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol.\u00a02719, pp. 252\u2013266. Springer, Heidelberg (2003)"},{"key":"1_CR11","unstructured":"Cervesato, I., Stehr, M.-O.: Representing the msr cryptoprotocol specification language in an extension of rewriting logic with dependent types. In: Degano, P. (ed.) Proc. Fifth International Workshop on Rewriting Logic and its Applications (WRLA 2004), Barcelona, Spain, March 27 - 28. Elsevier ENTCS (2004)"},{"key":"1_CR12","unstructured":"Chalub, F.: An implementation of modular SOS in maude. Master\u2019s thesis, Universidade Federal Fluminense (May 2005), http:\/\/www.ic.uff.br\/~frosario\/dissertation.pdf"},{"issue":"7","key":"1_CR13","first-page":"789","volume":"10","author":"F. Chalub","year":"2004","unstructured":"Chalub, F., Braga, C.: A Modular Rewriting Semantics for CML. Journal of Universal Computer Science\u00a010(7), 789\u2013807 (2004), http:\/\/www.jucs.org\/jucs_10_7\/a_modular_rewriting_semantics","journal-title":"Journal of Universal Computer Science"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/3-540-44881-0_15","volume-title":"Rewriting Techniques and Applications","author":"F. Chen","year":"2003","unstructured":"Chen, F., Ro\u015fu, G., Venkatesan, R.P.: Rule-based analysis of dimensional safety. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol.\u00a02706, pp. 197\u2013207. Springer, Heidelberg (2003)"},{"key":"1_CR15","volume-title":"Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications","author":"M. Clavel","year":"2000","unstructured":"Clavel, M.: Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications. CSLI Publications, Stanford (2000)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J.: Metalevel computation in Maude. In: Kirchner, C., Kirchner, H. (eds.) [60], pp. 3\u201324, http:\/\/www.elsevier.nl\/locate\/entcs\/volume15.html","DOI":"10.1016\/S1571-0661(05)80020-9"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M. Clavel","year":"2002","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Quesada, J.: Maude: specification and programming in rewriting logic. Theoretical Computer Science\u00a0285, 187\u2013243 (2002)","journal-title":"Theoretical Computer Science"},{"key":"1_CR18","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: Maude 2.0 Manual (June 2003), http:\/\/maude.cs.uiuc.edu"},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/B978-044450556-9\/50061-7","volume-title":"CAFE: An Industrial-Strength Algebraic Formal Method","author":"M. Clavel","year":"2000","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Meseguer, J.: Building equational proving tools by reflection in rewriting logic. In: CAFE: An Industrial-Strength Algebraic Formal Method, pp. 1\u201331. Elsevier, Amsterdam (2000), http:\/\/maude.cs.uiuc.edu"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1684","DOI":"10.1007\/3-540-48118-4_39","volume-title":"FM\u201999 - Formal Methods","author":"M. Clavel","year":"1999","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Meseguer, J., Stehr, M.-O.: Maude as a formal meta-tool. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol.\u00a01709, pp. 1684\u20131703. Springer, Heidelberg (1999)"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Clavel, M., Dur\u00e1n, F., Mart\u00ed-Oliet, N.: Polytypic programming in Maude. In: Futatsugi, K. (ed.) [52], pp. 339\u2013360, http:\/\/www.elsevier.nl\/locate\/entcs\/volume36.html","DOI":"10.1016\/S1571-0661(05)80135-5"},{"key":"1_CR22","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"125","volume-title":"Proceedings First International Workshop on Rewriting Logic and its Applications, WRLA\u201996","author":"M. Clavel","year":"1996","unstructured":"Clavel, M., Meseguer, J.: Reflection and strategies in rewriting logic. In: Meseguer, J. (ed.) Proceedings First International Workshop on Rewriting Logic and its Applications, WRLA 1996, Asilomar, California, September 3\u20136. Electronic Notes in Theoretical Computer Science, vol.\u00a04, pp. 125\u2013147. Elsevier, Amsterdam (1996), http:\/\/www.elsevier.nl\/locate\/entcs\/volume4.html"},{"key":"1_CR23","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0304-3975(01)00360-7","volume":"285","author":"M. Clavel","year":"2002","unstructured":"Clavel, M., Meseguer, J.: Reflection in conditional rewriting logic. Theoretical Computer Science\u00a0285, 245\u2013288 (2002)","journal-title":"Theoretical Computer Science"},{"key":"1_CR24","series-title":"ENTCS","volume-title":"Proc. 4th. Intl. Workshop on Rewriting Logic and its Applications","author":"M. Clavel","year":"2002","unstructured":"Clavel, M., Meseguer, J., Palomino, M.: Reflection in membership equational logic, many-sorted equational logic, horn logic with equality, and rewriting logic. In: Gadducci, F., Montanari, U. (eds.) Proc. 4th. Intl. Workshop on Rewriting Logic and its Applications. ENTCS. Elsevier, Amsterdam (2002)"},{"key":"1_CR25","unstructured":"Clavel, M., Palomino, M.: The ITP tool\u2019s manual. Universidad Complutense, Madrid (April 2005), http:\/\/maude.sip.ucm.es\/itp\/"},{"key":"1_CR26","unstructured":"Clavel, M., Santa-Cruz, J.: ASIP+ITP: A verification tool based on algebraic semantics. To appear in Proc. PROLE 2005 (2005), http:\/\/maude.sip.ucm.es\/~clavel\/pubs\/"},{"key":"1_CR27","unstructured":"d\u2019Amorim, M., Ro\u015fu, G.: An Equational Specification for the Scheme Language. In: Proceedings of the 9th Brazilian Symposium on Programming Languages, SBLP 2005 (2005) (to appear), Also Technical Report No. UIUCDCS-R-2005-2567(April 2005)"},{"key":"1_CR28","series-title":"ENTCS","volume-title":"Proc. 3rd. Intl. Workshop on Rewriting Logic and its Applications","author":"G. Denker","year":"2000","unstructured":"Denker, G., Meseguer, J., Talcott, C.: Rewriting semantics of meta-objects and composable distributed services. In: Proc. 3rd. Intl. Workshop on Rewriting Logic and its Applications. ENTCS. Elsevier, Amsterdam (2000)"},{"key":"1_CR29","unstructured":"Denker, G., Meseguer, J., Talcott, C.L.: Protocol specification and analysis in Maude. In: Heintze, N., Wing, J. (eds.) Proceedings of Workshop on Formal Methods and Security Protocols, Indianapolis, Indiana, June 25 (1998), http:\/\/www.cs.bell-labs.com\/who\/nch\/fmsp\/index.html"},{"key":"1_CR30","first-page":"251","volume-title":"Proceedings DARPA Information Survivability Conference and Exposition, DISCEX 2000","author":"G. Denker","year":"2000","unstructured":"Denker, G., Meseguer, J., Talcott, C.L.: Formal specification and analysis of active networks and communication protocols: The Maude experience. In: Maughan, D., Koob, G., Saydjari, S. (eds.) Proceedings DARPA Information Survivability Conference and Exposition, DISCEX 2000, Hilton Head Island, South Carolina, January 25\u201327, pp. 251\u2013265. IEEE Computer Society Press, Los Alamitos (2000), http:\/\/schafercorp-ballston.com\/discex\/"},{"key":"1_CR31","unstructured":"Denker, G., Millen, J.: CAPSL and CIL language design: A common authentication protocol specification language and its intermediate language. Technical Report SRI-CSL-99-02, Computer Science Laboratory, SRI International (1999), http:\/\/www.csl.sri.com\/~denker\/pub_99.html"},{"key":"1_CR32","unstructured":"Denker, G., Millen, J.: CAPSL intermediate language. In: Heintze, N., Clarke, E. (eds.) Proceedings of Workshop on Formal Methods and Security Protocols, FMSP 1999, Trento, Italy (July 1999), http:\/\/www.cs.bell-labs.com\/who\/nch\/fmsp99\/program.html"},{"key":"1_CR33","first-page":"207","volume-title":"Proceedings DARPA Information Survivability Conference and Exposition, DISCEX 2000","author":"G. Denker","year":"2000","unstructured":"Denker, G., Millen, J.: CAPSL integrated protocol environment. In: Maughan, D., Koob, G., Saydjari, S. (eds.) Proceedings DARPA Information Survivability Conference and Exposition, DISCEX 2000, Hilton Head Island, South Carolina, January 25-27, pp. 207\u2013222. IEEE Computer Society Press, Los Alamitos (2000), http:\/\/schafercorp-ballston.com\/discex\/"},{"key":"1_CR34","unstructured":"Denker, G., Millen, J.: The CAPSL integrated protocol environment. Technical Report SRI-CSL-2000-02, Computer Science Laboratory, SRI International (2000), http:\/\/www.csl.sri.com\/~denker\/pub_99.html"},{"key":"1_CR35","unstructured":"Dur\u00e1n, F.: A reflective module algebra with applications to the Maude language. Ph.D. Thesis, University of M\u00e1laga (1999)"},{"key":"1_CR36","unstructured":"Dur\u00e1n, F.: Coherence checker and completion tools for Maude specifications. Manuscript, Computer Science Laboratory, SRI International (2000), http:\/\/maude.cs.uiuc.edu\/papers"},{"key":"1_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/3-540-45499-3_30","volume-title":"Algebraic Methodology and Software Technology","author":"F. Dur\u00e1n","year":"2000","unstructured":"Dur\u00e1n, F.: The extensibility of Maude\u2019s module algebra. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, pp. 422\u2013437. Springer, Heidelberg (2000)"},{"key":"1_CR38","unstructured":"Dur\u00e1n, F.: Termination checker and Knuth-Bendix completion tools for Maude equational specifications. Manuscript, Computer Science Laboratory, SRI International (2000), http:\/\/maude.cs.uiuc.edu\/papers"},{"key":"1_CR39","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/1014007.1014022","volume-title":"Proc. of ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation, PEPM 2004","author":"F. Dur\u00e1n","year":"2004","unstructured":"Dur\u00e1n, F., Lucas, S., Meseguer, J., March\u00e9, C., Urbain, X.: Proving termination of membership equational programs. In: Sestoft, P., Heintze, N. (eds.) Proc. of ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation, PEPM 2004, pp. 147\u2013158. ACM Press, New York (2004)"},{"key":"1_CR40","doi-asserted-by":"crossref","unstructured":"Dur\u00e1n, F., Meseguer, J.: An extensible module algebra for Maude. In: Kirchner, Kirchner (eds.) [60], pp. 185\u2013206., http:\/\/www.elsevier.nl\/locate\/entcs\/volume15.html","DOI":"10.1016\/S1571-0661(05)80012-X"},{"key":"1_CR41","unstructured":"Dur\u00e1n, F., Meseguer, J.: A Church-Rosser checker tool for Maude equational specifications. Manuscript, Computer Science Laboratory, SRI International (2000), http:\/\/maude.cs.uiuc.edu\/papers"},{"key":"1_CR42","series-title":"ENTCS","volume-title":"Proc. 3rd. Intl. Workshop on Rewriting Logic and its Applications","author":"F. Dur\u00e1n","year":"2000","unstructured":"Dur\u00e1n, F., Meseguer, J.: On parameterized theories and views in Full Maude 2.0. In: Futatsugi, K. (ed.) Proc. 3rd. Intl. Workshop on Rewriting Logic and its Applications. ENTCS. Elsevier, Amsterdam (2000)"},{"key":"1_CR43","doi-asserted-by":"crossref","unstructured":"Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Meseguer, J., Sonmez, K.: Pathway logic: Symbolic analysis of biological signaling. In: Proceedings of the Pacific Symposium on Biocomputing, January 2002, pp. 400\u2013412 (2002)","DOI":"10.1142\/9789812799623_0038"},{"key":"1_CR44","series-title":"ENTCS","volume-title":"Proc. 4th. Intl. Workshop on Rewriting Logic and its Applications","author":"S. Eker","year":"2002","unstructured":"Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Talcott, C.: Pathway Logic: executable models of biological networks. In: Gadducci, F., Montanari, U. (eds.) Proc. 4th. Intl. Workshop on Rewriting Logic and its Applications. ENTCS. Elsevier, Amsterdam (2002)"},{"key":"1_CR45","series-title":"ENTCS","volume-title":"Proc. 4th. Intl. Workshop on Rewriting Logic and its Applications","author":"S. Eker","year":"2002","unstructured":"Eker, S., Meseguer, J., Sridharanarayanan, A.: The Maude LTL model checker. In: Gadducci, F., Montanari, U. (eds.) Proc. 4th. Intl. Workshop on Rewriting Logic and its Applications. ENTCS. Elsevier, Amsterdam (2002)"},{"key":"1_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/3-540-44829-2_16","volume-title":"Model Checking Software","author":"S. Eker","year":"2003","unstructured":"Eker, S., Meseguer, J., Sridharanarayanan, A.: The Maude LTL model checker and its implementation. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol.\u00a02648, pp. 230\u2013234. Springer, Heidelberg (2003)"},{"key":"1_CR47","doi-asserted-by":"crossref","unstructured":"Escobar, S., Meadows, C., Meseguer, J.: A rewriting-based inference system for the NRL Protocol Analyzer (2005) (submitted for publication)","DOI":"10.1145\/1103576.1103578"},{"key":"1_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-540-32033-3_21","volume-title":"Term Rewriting and Applications","author":"S. Escobar","year":"2005","unstructured":"Escobar, S., Meseguer, J., Thati, P.: Natural narrowing for general term rewriting systems. In: Giesl, J. (ed.) RTA 2005. LNCS, vol.\u00a03467, pp. 279\u2013293. Springer, Heidelberg (2005)"},{"key":"1_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/978-3-540-27813-9_46","volume-title":"Computer Aided Verification","author":"A. Farzan","year":"2004","unstructured":"Farzan, A., Cheng, F., Meseguer, J., Ro\u015fu, G.: Formal analysis of Java programs in JavaFAN. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 501\u2013505. Springer, Heidelberg (2004)"},{"key":"1_CR50","unstructured":"Farzan, A., Meseguer, J.: Partial order reduction for rewriting semantics of programming languages. Technical Report UIUCDCS-R-2005-2598, CS Dept., University of Illinois at Urbana-Champaign (June 2005)"},{"key":"1_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-27815-3_14","volume-title":"Algebraic Methodology and Software Technology","author":"A. Farzan","year":"2004","unstructured":"Farzan, A., Meseguer, J., Ro\u015fu, G.: Formal JVM code analysis in JavaFAN. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol.\u00a03116, pp. 132\u2013147. Springer, Heidelberg (2004)"},{"key":"1_CR52","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proceedings Third International Workshop on Rewriting Logic and its Applications, WRLA 2000","year":"2000","unstructured":"Futatsugi, K. (ed.): Proceedings Third International Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanazawa, Japan, September 18\u201320. Electronic Notes in Theoretical Computer Science, vol.\u00a036. Elsevier, Amsterdam (2000), http:\/\/www.elsevier.nl\/locate\/entcs\/volume36.html"},{"key":"1_CR53","series-title":"AMAST Series","volume-title":"CafeOBJ Report","author":"K. Futatsugi","year":"1998","unstructured":"Futatsugi, K., Diaconescu, R.: CafeOBJ Report. AMAST Series. World Scientific, Singapore (1998)"},{"key":"1_CR54","unstructured":"Glynn, P.: The role of generalized semi-Markov processes in simulation output analysis (1983)"},{"key":"1_CR55","doi-asserted-by":"crossref","unstructured":"Gunter, C., Goodloe, A., Stehr, M.-O.: Formal prototyping in early stages of protocol design. In: Proceedings of the Workshop on Issues in the Theory of Security (WITS 2005), Long Beach, California, January 10-11 (2005), To appear in the ACM Digital Library. Paper available at http:\/\/formal.cs.uiuc.edu\/stehr\/l3a-wits.pdf","DOI":"10.1145\/1045405.1045413"},{"key":"1_CR56","doi-asserted-by":"crossref","unstructured":"Gutierrez-Nolasco, S., Venkatasubramanian, N., Stehr, M.-O., Talcott, C.L.: Exploring adaptability of secure group communication using formal prototyping techniques. In: Proceedings of the 3rd Workshop on Reflective and Adaptive Middleware (RM 2004), Toronto, Ontario, Canada, October 19 (2004), To appear in ACM Digital Library. Extended version available at http:\/\/formal.cs.uiuc.edu\/stehr\/spread_eng.html","DOI":"10.1145\/1028613.1028622"},{"key":"1_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-540-32033-3_13","volume-title":"Term Rewriting and Applications","author":"J. Hendrix","year":"2005","unstructured":"Hendrix, J., Meseguer, J., Clavel, M.: A sufficient completeness reasoning tool for partial specifications. In: Giesl, J. (ed.) RTA 2005. LNCS, vol.\u00a03467, pp. 165\u2013174. Springer, Heidelberg (2005)"},{"key":"1_CR58","volume-title":"The Spin Model Checker - Primer and Reference Manual","author":"G. Holzmann","year":"2003","unstructured":"Holzmann, G.: The Spin Model Checker - Primer and Reference Manual. Addison-Wesley, Reading (2003)"},{"key":"1_CR59","series-title":"ENTCS","volume-title":"Proc. 5th. Intl. Workshop on Rewriting Logic and its Applications","author":"E.B. Johnsen","year":"2004","unstructured":"Johnsen, E.B., Owe, O., Axelsen, E.W.: A runtime environment for concurrent objects with asynchronous method calls. In: Mart\u00ed-Oliet, N. (ed.) Proc. 5th. Intl. Workshop on Rewriting Logic and its Applications. ENTCS. Elsevier, Amsterdam (2004)"},{"key":"1_CR60","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proceedings Second International Workshop on Rewriting Logic and its Applications, WRLA 1998","year":"1998","unstructured":"Kirchner, C., Kirchner, H. (eds.): Proceedings Second International Workshop on Rewriting Logic and its Applications, WRLA 1998, Pont-\u00e0-Mousson, France, September 1\u20134. Electronic Notes in Theoretical Computer Science, vol.\u00a015. Elsevier, Amsterdam (1998), http:\/\/www.elsevier.nl\/locate\/entcs\/volume15.html"},{"key":"1_CR61","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1042\/0264-6021:3510289","volume":"351","author":"W. Kolch","year":"2000","unstructured":"Kolch, W.: Meaningful relationships: the regulation of the Ras\/Raf\/MEK\/ERK pathway by protein interactions. Biochem. J.\u00a0351, 289\u2013305 (2000)","journal-title":"Biochem. J."},{"key":"1_CR62","unstructured":"Kosiuczenko, P., Wirsing, M.: Timed rewriting logic with application to object-oriented specification. Technical report, Institut f\u00fcr Informatik, Universit\u00e4t M\u00fcnchen (1995)"},{"key":"1_CR63","unstructured":"Kumar, N., Sen, K., Meseguer, J., Agha, G.: Probabilistic rewrite theories: Unifying models, logics and tools. Technical Report UIUCDCS-R-2003-2347, University of Illinois at Urbana-Champaign (May 2003)"},{"key":"1_CR64","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-540-39958-2_3","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"N. Kumar","year":"2003","unstructured":"Kumar, N., Sen, K., Meseguer, J., Agha, G.: A rewriting based model of probabilistic distributed object systems. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 32\u201346. Springer, Heidelberg (2003)"},{"key":"1_CR65","unstructured":"Lien, E.: Formal modeling and analysis of the NORM multicast protocol in Real-Time Maude. Master\u2019s thesis, Dept. of Linguistics, University of Oslo (2004), http:\/\/wo.uio.no\/as\/WebObjects\/theses.woa\/wo\/0.3.9"},{"key":"1_CR66","first-page":"1","volume-title":"Handbook of Philosophical Logic","author":"N. Mart\u00ed-Oliet","year":"2002","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J.: Rewriting logic as a logical and semantic framework. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., pp. 1\u201387. Kluwer Academic Publishers, Dordrecht (2002); First published as SRI Tech. Report SRI-CSL-93-05 (August 1993)","edition":"2"},{"key":"1_CR67","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0304-3975(01)00357-7","volume":"285","author":"N. Mart\u00ed-Oliet","year":"2002","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J.: Rewriting logic: roadmap and bibliography. Theoretical Computer Science\u00a0285, 121\u2013154 (2002)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"1_CR68","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0743-1066(95)00095-X","volume":"26","author":"C. Meadows","year":"1996","unstructured":"Meadows, C.: The NRL protocol analyzer: An overview. Journal of Logic Programming\u00a026(2), 113\u2013131 (1996)","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"1_CR69","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science\u00a096(1), 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"key":"1_CR70","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/3-540-61604-7_64","volume-title":"CONCUR \u201996: Concurrency Theory","author":"J. Meseguer","year":"1996","unstructured":"Meseguer, J.: Rewriting logic as a semantic framework for concurrency: a progress report. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 331\u2013372. Springer, Heidelberg (1996)"},{"key":"1_CR71","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-64299-4_26","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J. Meseguer","year":"1998","unstructured":"Meseguer, J.: Membership algebra as a logical framework for equational specification. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 18\u201361. Springer, Heidelberg (1998)"},{"key":"1_CR72","volume-title":"Computational Logic, NATO Advanced Study Institute","author":"J. Meseguer","year":"1999","unstructured":"Meseguer, J.: Research directions in rewriting logic. In: Berger, U., Schwichtenberg, H. (eds.) Computational Logic, NATO Advanced Study Institute, Marktoberdorf, Germany, July 29 \u2013 August 6. Springer, Heidelberg (1999)"},{"key":"1_CR73","first-page":"133","volume-title":"Models, Algebras, and Logic of Engineering Software, NATO Advanced Study Institute","author":"J. Meseguer","year":"2003","unstructured":"Meseguer, J.: Software specification and verification in rewriting logic. In: Broy, M., Pizka, M. (eds.) Models, Algebras, and Logic of Engineering Software, NATO Advanced Study Institute, Marktoberdorf, Germany, July 30 \u2013 August 11, pp. 133\u2013193. IOS Press, Amsterdam (2003)"},{"key":"1_CR74","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-540-32033-3_19","volume-title":"Term Rewriting and Applications","author":"J. Meseguer","year":"2005","unstructured":"Meseguer, J.: Localized fairness: A rewriting semantics. In: Giesl, J. (ed.) RTA 2005. LNCS, vol.\u00a03467, pp. 250\u2013263. Springer, Heidelberg (2005)"},{"key":"1_CR75","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/978-3-540-27815-3_29","volume-title":"Algebraic Methodology and Software Technology","author":"J. Meseguer","year":"2004","unstructured":"Meseguer, J., Braga, C.: Modular rewriting semantics of programming languages. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol.\u00a03116, pp. 364\u2013378. Springer, Heidelberg (2004)"},{"key":"1_CR76","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-25984-8_1","volume-title":"Automated Reasoning","author":"J. Meseguer","year":"2004","unstructured":"Meseguer, J., Ro\u015fu, G.: Rewriting logic semantics: From language specifications to formal analysis tools. In: Basin, D., Rusinowitch, M. (eds.) IJCAR 2004. LNCS (LNAI), vol.\u00a03097, pp. 1\u201344. Springer, Heidelberg (2004)"},{"key":"1_CR77","series-title":"ENTCS","volume-title":"Proc. of SOS 2005","author":"J. Meseguer","year":"2005","unstructured":"Meseguer, J., Ro\u015fu, G.: The rewriting logic semantics project. In: Proc. of SOS 2005. ENTCS, Elsevier, Amsterdam (2005) (to appear)"},{"key":"1_CR78","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-47993-7_1","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"J. Meseguer","year":"2002","unstructured":"Meseguer, J., Talcott, C.: Semantic models for distributed object reflection. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 1\u201336. Springer, Heidelberg (2002)"},{"key":"1_CR79","series-title":"ENTCS","volume-title":"Proc. 5th. Intl. Workshop on Rewriting Logic and its Applications","author":"J. Meseguer","year":"2004","unstructured":"Meseguer, J., Thati, P.: Symbolic reachability analysis using narrowing and its application to the verification of cryptographic protocols. In: Mart\u00ed-Oliet, N. (ed.) Proc. 5th. Intl. Workshop on Rewriting Logic and its Applications. ENTCS. Elsevier, Amsterdam (2004)"},{"key":"1_CR80","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/j.jlap.2004.03.008","volume":"60","author":"P.D. Mosses","year":"2004","unstructured":"Mosses, P.D.: Modular structural operational semantics. J. Log. Algebr. Program\u00a060\u201361, 195\u2013228 (2004)","journal-title":"J. Log. Algebr. Program"},{"key":"1_CR81","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/3-540-45314-8_24","volume-title":"Fundamental Approaches to Software Engineering","author":"P. \u00d6lveczky","year":"2001","unstructured":"\u00d6lveczky, P., Keaton, M., Meseguer, J., Talcott, C., Zabele, S.: Specification and analysis of the AER\/NCA active network protocol suite in Real-Time Maude. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol.\u00a02029, p. 333. Springer, Heidelberg (2001)"},{"key":"1_CR82","unstructured":"\u00d6lveczky, P., Meseguer, J.: Real-Time Maude 2.0. In: Proc. WRLA 2004. ENTCS (2004)"},{"key":"1_CR83","unstructured":"\u00d6lveczky, P.C.: Specification and Analysis of Real-Time and Hybrid Systems in Rewriting Logic. PhD thesis, University of Bergen, Norway (2000), http:\/\/maude.csl.sri.com\/papers"},{"key":"1_CR84","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/BFb0027246","volume-title":"Formal Methods for Industrial Applications","author":"P.C. \u00d6lveczky","year":"1996","unstructured":"\u00d6lveczky, P.C., Kosiuczenko, P., Wirsing, M.: An object-oriented algebraic steam-boiler control specification. In: Abrial, J.-R., B\u00f6rger, E., Langmaack, H. (eds.) Dagstuhl Seminar 1995. LNCS, vol.\u00a01165, pp. 379\u2013402. Springer, Heidelberg (1996)"},{"key":"1_CR85","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proc. First Intl. Workshop on Rewriting Logic and its Applications","author":"P.C. \u00d6lveczky","year":"1996","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Specifying real-time systems in rewriting logic. In: Meseguer, J. (ed.) Proc. First Intl. Workshop on Rewriting Logic and its Applications. Electronic Notes in Theoretical Computer Science, vol.\u00a04, Elsevier, Amsterdam (1996), http:\/\/www.elsevier.nl\/cas\/tree\/store\/tcs\/free\/noncas\/pc\/volume4.htm"},{"key":"1_CR86","series-title":"ENTCS","volume-title":"Proc. 3rd. Intl. Workshop on Rewriting Logic and its Applications","author":"P.C. \u00d6lveczky","year":"2000","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Real-Time Maude: a tool for simulating and analyzing real-time and hybrid systems. In: Proc. 3rd. Intl. Workshop on Rewriting Logic and its Applications. ENTCS. Elsevier, Amsterdam (2000)"},{"key":"1_CR87","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/S0304-3975(01)00363-2","volume":"285","author":"P.C. \u00d6lveczky","year":"2002","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Specification of real-time and hybrid systems in rewriting logic. Theoretical Computer Science\u00a0285, 359\u2013405 (2002)","journal-title":"Theoretical Computer Science"},{"key":"1_CR88","unstructured":"Palomino, M.: A predicate abstraction tool for maude. Documentation and tool, available at http:\/\/maude.sip.ucm.es\/~miguelpt\/bibliography.html"},{"key":"1_CR89","volume-title":"Modern Probability Theory and its Applications","author":"E. Parzen","year":"1960","unstructured":"Parzen, E.: Modern Probability Theory and its Applications. Wiley, Chichester (1960)"},{"key":"1_CR90","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"M. Puterman","year":"1994","unstructured":"Puterman, M.: Markov Decision Processes: Discrete Stochastic Dynamic Programming. John Wiley and Sons, Chichester (1994)"},{"key":"1_CR91","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/978-3-540-45069-6_30","volume-title":"Computer Aided Verification","author":"G. Ro\u015fu","year":"2003","unstructured":"Ro\u015fu, G., Venkatesan, R.P., Whittle, J., Leustean, L.: Certifying optimality of state estimation programs. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, pp. 301\u2013314. Springer, Heidelberg (2003)"},{"key":"1_CR92","doi-asserted-by":"crossref","unstructured":"Rodr\u00edguez, D.E.: Case studies in the specification and analysis of protocols in Maude. In: Futatsugi, K. (ed.) [52], pp. 257\u2013275, http:\/\/www.elsevier.nl\/locate\/entcs\/volume36.html","DOI":"10.1016\/S1571-0661(05)80140-9"},{"key":"1_CR93","unstructured":"Sasse, R.: Taclets vs. rewriting logic \u2013 relating semantics of Java. Master\u2019s thesis, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Karlsruhe, Germany (May 2005), Technical Report in Computing Science No. 2005-16, http:\/\/www.ubka.uni-karlsruhe.de\/cgi-bin\/psview?document=ira\/2005\/16"},{"key":"1_CR94","unstructured":"Segala, R.: Modelling and Verification of Randomized Distributed Real Time Systems. PhD thesis, Massachusetts Institute of Technology (1995)"},{"key":"1_CR95","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/11513988_26","volume-title":"Computer Aided Verification","author":"K. Sen","year":"2005","unstructured":"Sen, K., Viswanathan, M., Agha, G.: On statistical model checking of stochastic systems. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 266\u2013280. Springer, Heidelberg (2005)"},{"key":"1_CR96","series-title":"ENTCS","volume-title":"Proc. 2nd Intl. Workshop on Rewriting Logic and its Applications","author":"L. Steggles","year":"1998","unstructured":"Steggles, L., Kosiuczenko, P.: A timed rewriting logic semantics for SDL: a case study of the alternating bit protocol. In: Proc. 2nd Intl. Workshop on Rewriting Logic and its Applications. ENTCS, vol.\u00a015. North Holland, Amsterdam (1998)"},{"key":"1_CR97","unstructured":"Stehr, M.-O., Cervesato, I., Reich, S.: An execution environment for the MSR cryptoprotocol specification language, http:\/\/formal.cs.uiuc.edu\/stehr\/msr.html"},{"key":"1_CR98","series-title":"ENTCS","volume-title":"Proc. 4th. Intl. Workshop on Rewriting Logic and its Applications","author":"M.-O. Stehr","year":"2002","unstructured":"Stehr, M.-O., Talcott, C.: PLAN in Maude: Specifying an active network programming language. In: Gadducci, F., Montanari, U. (eds.) Proc. 4th. Intl. Workshop on Rewriting Logic and its Applications. ENTCS. Elsevier, Amsterdam (2002)"},{"key":"1_CR99","doi-asserted-by":"crossref","unstructured":"Stehr, M.-O., Talcott, C.L.: Practical techniques for language design and prototyping. In: Fiadeiro, J.L., Montanari, U., Wirsing, M. (eds.) Abstracts Collection of the Dagstuhl Seminar 05081 on Foundations of Global Computing, Schloss Dagstuhl, Wadern, Germany, February 20\u201325 (2005)","DOI":"10.21236\/ADA484494"},{"key":"1_CR100","doi-asserted-by":"crossref","unstructured":"Stewart, W.J.: Introduction to the Numerical Solution of Markov Chains. Princeton (1994)","DOI":"10.1515\/9780691223384"},{"key":"1_CR101","unstructured":"Talcott, C., Eker, S., Knapp, M., Lincoln, P., Laderoute, K.: Pathway logic modeling of protein functional domains in signal transduction. In: Proceedings of the Pacific Symposium on Biocomputing (January 2004)"},{"key":"1_CR102","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/11548133_24","volume-title":"Algebra and Coalgebra in Computer Science","author":"P. Thati","year":"2005","unstructured":"Thati, P., Meseguer, J.: Complete symbolic reachability analysis using back-and-forth narrowing. In: Fiadeiro, J.L., Harman, N.A., Roggenbach, M., Rutten, J. (eds.) CALCO 2005. LNCS, vol.\u00a03629, pp. 379\u2013394. Springer, Heidelberg (2005)"},{"key":"1_CR103","series-title":"ENTCS","volume-title":"Proc. 4th. Intl. Workshop on Rewriting Logic and its Applications","author":"P. Thati","year":"2002","unstructured":"Thati, P., Sen, K., Mart\u00ed-Oliet, N.: An executable specification of asynchronous Pi-Calculus semantics and may testing in Maude 2.0. In: Gadducci, F., Montanari, U. (eds.) Proc. 4th. Intl. Workshop on Rewriting Logic and its Applications. ENTCS. Elsevier, Amsterdam (2002)"},{"key":"1_CR104","unstructured":"Thordvalsen, S.: Modeling and analysis of the OGDC wireless sensor network algorithm in Real-Time Maude. Master\u2019s thesis, Dept. of Informatics, University of Oslo (2005), http:\/\/heim.ifi.uio.no\/~peterol\/RealTimeMaude\/OGDC\/"},{"key":"1_CR105","unstructured":"Verdejo, A.: Maude como marco sem\u00e1ntico ejecutable. PhD thesis, Facultad de Inform\u00e1tica, Universidad Complutense, Madrid, Spain (2003)"},{"key":"1_CR106","unstructured":"Verdejo, A., Mart\u00ed-Oliet, N.: Executable structural operational semantics in Maude. Manuscript, Dto. Sistemas Inform\u00e1ticos y Programaci\u00f3n, Universidad Complutense, Madrid (August. 2003)"},{"key":"1_CR107","doi-asserted-by":"crossref","unstructured":"Verdejo, A., Mart\u00ed-Oliet, N.: Implementing CCS in Maude. In: Proc. FORTE\/PSTV 2000. IFIP, vol.\u00a0183, pp. 351\u2013366 (2000)","DOI":"10.1007\/978-0-387-35533-7_22"},{"key":"1_CR108","series-title":"ENTCS","volume-title":"Proc. 4th. Intl. Workshop on Rewriting Logic and its Applications","author":"A. Verdejo","year":"2002","unstructured":"Verdejo, A., Mart\u00ed-Oliet, N.: Implementing CCS in Maude 2. In: Gadducci, F., Montanari, U. (eds.) Proc. 4th. Intl. Workshop on Rewriting Logic and its Applications. ENTCS. Elsevier, Amsterdam (2002)"},{"key":"1_CR109","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1016\/S0304-3975(01)00366-8","volume":"285","author":"P. Viry","year":"2002","unstructured":"Viry, P.: Equational rules for rewriting logic. Theoretical Computer Science\u00a0285, 487\u2013517 (2002)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560647_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T00:36:49Z","timestamp":1683247009000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560647_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291077","9783540320722"],"references-count":109,"URL":"https:\/\/doi.org\/10.1007\/11560647_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}