{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:34:59Z","timestamp":1761597299518},"publisher-location":"Berlin, Heidelberg","reference-count":130,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642229527"},{"type":"electronic","value":"9783642229534"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22953-4_1","type":"book-chapter","created":{"date-parts":[[2011,8,17]],"date-time":"2011-08-17T12:28:08Z","timestamp":1313584088000},"page":"1-37","source":"Crossref","is-referenced-by-count":10,"title":["The Rewriting Logic Semantics Project: A Progress Report"],"prefix":"10.1007","author":[{"given":"Jos\u00e9","family":"Meseguer","sequence":"first","affiliation":[]},{"given":"Grigore","family":"Ro\u015fu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1007\/11591191_29","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"W. Ahrendt","year":"2005","unstructured":"Ahrendt, W., Roth, A., Sasse, R.: Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol.\u00a03835, pp. 412\u2013426. Springer, Heidelberg (2005)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-642-17071-3_6","volume-title":"Formal Methods for Components and Objects","author":"M. Alba-Castro","year":"2010","unstructured":"Alba-Castro, M., Alpuente, M., Escobar, S.: Abstract certification of global non-interference in rewriting logic. In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) FMCO 2009. LNCS, vol.\u00a06286, pp. 105\u2013124. Springer, Heidelberg (2010)"},{"key":"1_CR3","first-page":"124","volume-title":"Proc. SYNASC","author":"M. Alba-Castro","year":"2010","unstructured":"Alba-Castro, M., Alpuente, M., Escobar, S.: Approximating non-interference and erasure in rewriting logic. In: Proc. SYNASC, pp. 124\u2013132. IEEE, Los Alamitos (2010)"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-642-00593-0_18","volume-title":"Fundamental Approaches to Software Engineering","author":"M. AlTurki","year":"2009","unstructured":"AlTurki, M., Dhurjati, D., Yu, D., Chander, A., Inamura, H.: Formal specification and analysis of timing properties in software systems. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol.\u00a05503, pp. 262\u2013277. Springer, Heidelberg (2009)"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1145\/1273920.1273938","volume-title":"Proc. PPDP","author":"M. AlTurki","year":"2007","unstructured":"AlTurki, M., Meseguer, J.: Real-time rewriting semantics of Orc. In: Proc. PPDP, Poland, pp. 131\u2013142. ACM Press, New York (2007)"},{"key":"1_CR6","series-title":"ENTCS","first-page":"25","volume-title":"Proc. Workshop on Automated Specification and Verification of Web Systems (WWV 2007)","author":"M. AlTurki","year":"2008","unstructured":"AlTurki, M., Meseguer, J.: Reduction semantics and formal analysis of Orc programs. In: Proc. Workshop on Automated Specification and Verification of Web Systems (WWV 2007). ENTCS, vol.\u00a0200(3), pp. 25\u201341. Elsevier, Amsterdam (2008)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"AlTurki, M., Meseguer, J.: Dist-Orc: A rewriting-based distributed implementation of Orc with formal analysis. In: Proc. RTRTS 2010. Electronic Proceedings in Theoretical Computer Science, vol.\u00a036, pp. 26\u201345. CoRR (2010)","DOI":"10.4204\/EPTCS.36.2"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/3-540-47961-9_22","volume-title":"Advanced Information Systems Engineering","author":"N. Aoumeur","year":"2002","unstructured":"Aoumeur, N.: Integrating and rapid-prototyping UML structural and behavioural diagrams using rewriting logic. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol.\u00a02348, pp. 296\u2013310. Springer, Heidelberg (2002)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Bae, K., \u00d6lveczky, P.C.: Extending the Real-Time Maude semantics of Ptolemy to hierarchical DE models. In: Proc. RTRTS 2010. Electronic Proceedings in Theoretical Computer Science, vol.\u00a036, pp. 46\u201366. CoRR (2010)","DOI":"10.4204\/EPTCS.36.3"},{"key":"1_CR10","unstructured":"Bae, K., \u00d6lveczky, P.C., Al-Nayeem, A., Meseguer, J.: Synchronous AADL and its formal analysis in Real-Time Maude. Technical report, University of Illinois at Urbana-Champaign (2005), http:\/\/hdl.handle.net\/2142\/25091"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1007\/978-3-642-10373-5_37","volume-title":"Formal Methods and Software Engineering","author":"K. Bae","year":"2009","unstructured":"Bae, K., \u00d6lveczky, P.C., Feng, T.H., Tripakis, S.: Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol.\u00a05885, pp. 717\u2013736. Springer, Heidelberg (2009)"},{"issue":"1","key":"1_CR12","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"Berry, G., Boudol, G.: The chemical abstract machine. Theoretical Computer Science\u00a096(1), 217\u2013248 (1992)","journal-title":"Theoretical Computer Science"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rk, J., Johnsen, E.B., Owe, O., Schlatte, R.: Lightweight time modeling in timed Creol. In: Proc. RTRTS 2010. Electronic Proceedings in Theoretical Computer Science, vol.\u00a036, pp. 67\u201381. CoRR (2010)","DOI":"10.4204\/EPTCS.36.4"},{"issue":"3","key":"1_CR14","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/s10817-009-9148-3","volume":"43","author":"S. Blazy","year":"2009","unstructured":"Blazy, S., Leroy, X.: Mechanized semantics for the Clight subset of the C language. Journal of Automated Reasoning\u00a043(3), 263\u2013288 (2009)","journal-title":"Journal of Automated Reasoning"},{"key":"1_CR15","unstructured":"Boronat, A.: MOMENT: A Formal Framework for MOdel ManageMENT. PhD thesis, Universitat Polit\u00e8cnica de Val\u00e8ncia, Spain (2007)"},{"key":"1_CR16","first-page":"228","volume-title":"Proc. CSMR 2005","author":"A. Boronat","year":"2005","unstructured":"Boronat, A., Cars\u00ed, J.A., Ramos, I.: Automatic reengineering in MDA using rewriting logic as transformation engine. In: Proc. CSMR 2005, pp. 228\u2013231. IEEE, Los Alamitos (2005)"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-642-00593-0_2","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Boronat","year":"2009","unstructured":"Boronat, A., Heckel, R., Meseguer, J.: Rewriting logic semantics and verification of model transformations. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol.\u00a05503, pp. 18\u201333. Springer, Heidelberg (2009)"},{"key":"1_CR18","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-642-02571-6_7","volume-title":"Objects, Components, Models and Patterns","author":"A. Boronat","year":"2009","unstructured":"Boronat, A., Meseguer, J.: Algebraic semantics of OCL-constrained metamodel specifications. In: Oriol, M., Meyer, B. (eds.) TOOLS EUROPE 2009. LNBIP, vol.\u00a033, pp. 96\u2013115. Springer, Heidelberg (2009)"},{"key":"1_CR19","unstructured":"Boronat, A., Meseguer, J.: MOMENT2: EMF model transformations in Maude. In: Vallecillo, A., Sagardui, G. (eds.) Actas de las XIV Jornadas de Ingenier\u00eda del Software y Bases de Datos, JISBD 2009, San Sebasti\u00e1n, Espa\u00f1a, September 8-11, pp. 178\u2013179 (2009)"},{"issue":"3-4","key":"1_CR20","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s00165-009-0140-9","volume":"22","author":"A. Boronat","year":"2010","unstructured":"Boronat, A., Meseguer, J.: An algebraic semantics for MOF. Formal Aspects of Computing\u00a022(3-4), 269\u2013296 (2010)","journal-title":"Formal Aspects of Computing"},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-642-12029-9_3","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Boronat","year":"2010","unstructured":"Boronat, A., \u00d6lveczky, P.C.: Formal real-time model transformations in MOMENT2. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol.\u00a06013, pp. 29\u201343. Springer, Heidelberg (2010)"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Borras, P., Cl\u00e9ment, D., Despeyroux, T., Incerpi, J., Kahn, G., Lang, B., Pascual, V.: CENTAUR: The system. In: Software Development Environments (SDE), pp. 14\u201324 (1988)","DOI":"10.1145\/64137.65005"},{"key":"1_CR23","unstructured":"Braga, C.: Rewriting Logic as a Semantic Framework for Modular Structural Operational Semantics. PhD thesis, Departamento de Inform\u00e1tica, Pontif\u00edcia Universidade Cat\u00f3lica do Rio de Janeiro, Brazil (2001)"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/3-540-45013-0_21","volume-title":"Logic Based Program Synthesis and Transformation","author":"C. Braga","year":"2003","unstructured":"Braga, C., Haeusler, E.H., Meseguer, J., Mosses, P.D.: Mapping modular SOS to rewriting logic. In: Leuschel, M. (ed.) LOPSTR 2002. LNCS, vol.\u00a02664, pp. 262\u2013277. Springer, Heidelberg (2003)"},{"key":"1_CR25","series-title":"ENTCS","first-page":"393","volume-title":"Proc. WRLA 2004","author":"C. Braga","year":"2004","unstructured":"Braga, C., Meseguer, J.: Modular rewriting semantics in practice. In: Proc. WRLA 2004. ENTCS, vol.\u00a0117, pp. 393\u2013416. Elsevier, Amsterdam (2004)"},{"issue":"1","key":"1_CR26","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/9758.10501","volume":"9","author":"M. Broy","year":"1987","unstructured":"Broy, M., Wirsing, M., Pepper, P.: On the algebraic definition of programming languages. ACM TOPLAS\u00a09(1), 54\u201399 (1987)","journal-title":"ACM TOPLAS"},{"issue":"1-3","key":"1_CR27","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1016\/j.tcs.2006.04.012","volume":"360","author":"R. Bruni","year":"2006","unstructured":"Bruni, R., Meseguer, J.: Semantic foundations for generalized rewrite theories. Theor. Comput. Sci.\u00a0360(1-3), 386\u2013414 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR28","unstructured":"Chalub, F.: An implementation of Modular SOS in Maude. Master\u2019s thesis, Universidade Federal Fluminense, Niter\u00f3i, RJ, Brazil (May 2005)"},{"key":"1_CR29","unstructured":"Chalub, F., Braga, C.: Maude MSOS tool. Universidade Federal Fluminense, www.ic.uff.br\/~frosario\/2o-workshop-vas-novembro-2004.pdf"},{"issue":"7","key":"1_CR30","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)","journal-title":"Journal of Universal Computer Science"},{"key":"1_CR31","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_CR32","series-title":"LNCS","volume-title":"All About Maude \u2013 A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Meseguer, J., Lincoln, P., Mart\u00ed-Oliet, N., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"1_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/11784180_28","volume-title":"Algebraic Methodology and Software Technology","author":"M. Clavel","year":"2006","unstructured":"Clavel, M., Egea, M.: ITP\/OCL: A rewriting-based validation tool for UML+OCL static class diagrams. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol.\u00a04019, pp. 368\u2013373. Springer, Heidelberg (2006)"},{"key":"1_CR34","unstructured":"Clavel, M., Santa-Cruz, J.: ASIP + ITP: A verification tool based on algebraic semantics. In: L\u00f3pez-Fraguas, F.J. (ed.) Actas de las V Jornadas sobre Programaci\u00f3n y Lenguajes, PROLE 2005, Granada, Espa\u00f1a, Septiembre 14-16, pp. 149\u2013158. Thomson (2005)"},{"key":"#cr-split#-1_CR35.1","unstructured":"Cl\u00e9ment, D., Despeyroux, J., Hascoet, L., Kahn, G.: Natural semantics on the computer. In: Fuchi, K., Nivat, M. (eds.) Proceedings, France-Japan AI and CS Symposium, ICOT 1986, pp. 49\u201389 (1986);"},{"key":"#cr-split#-1_CR35.2","unstructured":"Also, Information Processing Society of Japan, Technical Memorandum PL-86-6"},{"issue":"7","key":"1_CR36","first-page":"1327","volume":"11","author":"M. d\u2019Amorim","year":"2005","unstructured":"d\u2019Amorim, M., Ro\u015fu, G.: An Equational Specification for the Scheme Language. Journal of Universal Computer Science\u00a011(7), 1327\u20131348 (2005); Also Technical Report No. UIUCDCS-R-2005-2567 (April 2005)","journal-title":"Journal of Universal Computer Science"},{"key":"1_CR37","unstructured":"Ellison, C., Ro\u015fu, G.: A formal semantics of C with applications. Technical Report University of Illinois (November 2010), http:\/\/hdl.handle.net\/2142\/17414"},{"key":"1_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-642-03429-9_10","volume-title":"Recent Trends in Algebraic Development Techniques","author":"C. Ellison","year":"2009","unstructured":"Ellison, C., \u015eerb\u0103nu\u0163\u0103, T.F., Ro\u015fu, G.: A rewriting logic approach to type inference. In: Corradini, A., Montanari, U. (eds.) WADT 2008. LNCS, vol.\u00a05486, pp. 135\u2013151. Springer, Heidelberg (2009)"},{"key":"1_CR39","unstructured":"Farzan, A.: Static and dynamic formal analysis of concurrent systems and languages: a semantics-based approach. PhD thesis, University of Illinois at Urbana-Champaign (2007)"},{"key":"1_CR40","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., Chen, F., Bevilacqua, V., 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_CR41","doi-asserted-by":"crossref","unstructured":"Farzan, A., Meseguer, J.: Partial order reduction for rewriting semantics of programming languages. In: Proc. WRLA 2006. ENTCS, vol.\u00a0176(4), pp. 61\u201378 (2007)","DOI":"10.1016\/j.entcs.2007.06.008"},{"key":"1_CR42","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., Bevilacqua, V., 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_CR43","unstructured":"Felleisen, M., Friedman, D.P.: Control operators, the SECD-machine, and the \u03bb-calculus. In: 3rd Working Conference on the Formal Description of Programming Concepts, Denmark, pp. 193\u2013219 (August 1986)"},{"key":"1_CR44","first-page":"344","volume-title":"Proc. ISSRE 2000","author":"J.L. Fern\u00e1ndez Alem\u00e1n","year":"2000","unstructured":"Fern\u00e1ndez Alem\u00e1n, J.L., Toval \u00c1lvarez, J.A.: Can intuition become rigorous? Foundations for UML model verification tools. In: Proc. ISSRE 2000, pp. 344\u2013355. IEEE, Los Alamitos (2000)"},{"key":"1_CR45","volume-title":"Essentials of Programming Languages","author":"D.P. Friedman","year":"2001","unstructured":"Friedman, D.P., Wand, M., Haynes, C.T.: Essentials of Programming Languages, 2nd edn. MIT Press, Cambridge (2001)","edition":"2"},{"key":"1_CR46","unstructured":"Garrido, A., Meseguer, J., Johnson, R.: Algebraic semantics of the C preprocessor and correctness of its refactorings. Technical Report UIUCDCS-R-2006-2688, CS Dept., University of Illinois at Urbana-Champaign (February 2006)"},{"key":"1_CR47","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1188.001.0001","volume-title":"Algebraic Semantics of Imperative Programs","author":"J. Goguen","year":"1996","unstructured":"Goguen, J., Malcolm, G.: Algebraic Semantics of Imperative Programs. MIT Press, Cambridge (1996)"},{"key":"1_CR48","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/SP.1982.10014","volume-title":"Proceedings of the 1982 Symposium on Security and Privacy","author":"J. Goguen","year":"1982","unstructured":"Goguen, J., Meseguer, J.: Security policies and security models. In: Proceedings of the 1982 Symposium on Security and Privacy, pp. 11\u201320. IEEE, Los Alamitos (1982)"},{"key":"1_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/3-540-10699-5_106","volume-title":"Formalization of Programming Concepts","author":"J.A. Goguen","year":"1981","unstructured":"Goguen, J.A., Parsaye-Ghomi, K.: Algebraic denotational semantics using parameterized abstract modules. In: D\u00edaz, J., Ramos, I. (eds.) Formalization of Programming Concepts. LNCS, vol.\u00a0107, pp. 292\u2013309. Springer, Heidelberg (1981)"},{"key":"1_CR50","first-page":"9","volume-title":"Specification and Validation Methods","author":"Y. Gurevich","year":"1994","unstructured":"Gurevich, Y.: Evolving algebras 1993: Lipari Guide. In: B\u00f6rger, E. (ed.) Specification and Validation Methods, pp. 9\u201337. Oxford University Press, Oxford (1994)"},{"key":"1_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/3-540-56992-8_17","volume-title":"Computer Science Logic","author":"Y. Gurevich","year":"1993","unstructured":"Gurevich, Y., Huggins, J.K.: The semantics of the C programming language. In: Martini, S., B\u00f6rger, E., Kleine B\u00fcning, H., J\u00e4ger, G., Richter, M.M. (eds.) CSL 1992. LNCS, vol.\u00a0702, pp. 274\u2013308. Springer, Heidelberg (1993)"},{"issue":"1","key":"1_CR52","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/138027.138060","volume":"40","author":"R. Harper","year":"1993","unstructured":"Harper, R., Honsell, F., Plotkin, G.D.: A framework for defining logics. Journal of the ACM\u00a040(1), 143\u2013184 (1993)","journal-title":"Journal of the ACM"},{"key":"1_CR53","unstructured":"Hills, M., Chen, F., Ro\u015fu, G.: Pluggable Policies for C. Technical Report UIUCDCS-R-2008-2931, University of Illinois at Urbana-Champaign (2008)"},{"key":"1_CR54","series-title":"ENTCS","first-page":"215","volume-title":"Proc. of WRLA 2006","author":"M. Hills","year":"2007","unstructured":"Hills, M., \u015eerb\u0103nu\u0163\u0103, T.F., Ro\u015fu, G.: A rewrite framework for language definitions and for generation of efficient interpreters. In: Proc. of WRLA 2006. ENTCS, vol.\u00a0176(4), pp. 215\u2013231. Elsevier, Amsterdam (2007)"},{"key":"1_CR55","series-title":"ENTCS","volume-title":"Proc. WRLA 2004","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: Proc. WRLA 2004. ENTCS, vol.\u00a0117, Elsevier, Amsterdam (2004)"},{"key":"1_CR56","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/BFb0039592","volume-title":"STACS 1987","author":"G. Kahn","year":"1987","unstructured":"Kahn, G.: Natural semantics. In: Brandenburg, F.J., Wirsing, M., Vidal-Naquet, G. (eds.) STACS 1987. LNCS, vol.\u00a0247, pp. 22\u201339. Springer, Heidelberg (1987)"},{"key":"1_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-642-16310-4_10","volume-title":"Rewriting Logic and Its Applications","author":"M. Katelman","year":"2010","unstructured":"Katelman, M., Keller, S., Meseguer, J.: Concurrent rewriting semantics and analysis of asynchronous digital circuits. In: \u00d6lveczky, P.C. (ed.) WRLA 2010. LNCS, vol.\u00a06381, pp. 140\u2013156. Springer, Heidelberg (2010)"},{"key":"1_CR58","series-title":"ENTCS","first-page":"47","volume-title":"Proc. WRLA 2006","author":"M. Katelman","year":"2007","unstructured":"Katelman, M., Meseguer, J.: A rewriting semantics for ABEL with applications to hardware\/software co-design and analysis. In: Proc. WRLA 2006. ENTCS, vol.\u00a0176(4), pp. 47\u201360. Elsevier, Amsterdam (2007)"},{"key":"1_CR59","series-title":"Lecture Notes in Computer Science","first-page":"129","volume-title":"HVC 2010","author":"M. Katelman","year":"2010","unstructured":"Katelman, M., Meseguer, J.: vlogmt: A strategy language for simulation-based verification of hardware. In: Raz, O. (ed.) HVC 2010. LNCS, vol.\u00a06504, pp. 129\u2013145. Springer, Heidelberg (2010)"},{"key":"1_CR60","first-page":"89","volume-title":"MEMOCODE 2008","author":"M. Katelman","year":"2008","unstructured":"Katelman, M., Meseguer, J., Escobar, S.: Directed-logical testing for functional verification of microprocessors. In: MEMOCODE 2008, pp. 89\u2013100. IEEE, Los Alamitos (2008)"},{"key":"1_CR61","volume-title":"Computer-Aided Reasoning: ACL2 Case Studies","author":"M. Kaufmann","year":"2000","unstructured":"Kaufmann, M., Manolios, P., Moore, J.S.: Computer-Aided Reasoning: ACL2 Case Studies. Kluwer Academic Press, Dordrecht (2000)"},{"key":"1_CR62","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/B978-044450556-9\/50065-4","volume-title":"Cafe: An Industrial-Strength Algebraic Formal Method","author":"A. Knapp","year":"2000","unstructured":"Knapp, A.: Generating rewrite theories from UML collaborations. In: Futatsugi, K., Nakagawa, A.T., Tamai, T. (eds.) Cafe: An Industrial-Strength Algebraic Formal Method, pp. 97\u2013120. Elsevier, Amsterdam (2000)"},{"key":"1_CR63","unstructured":"Knapp, A.: A Formal Approach to Object-Oriented Software Engineering. Shaker Verlag, Aachen, Germany, 2001. PhD thesis, Institut f\u00fcr Informatik, Universit\u00e4t M\u00fcnchen (2000)"},{"key":"1_CR64","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1023\/A:1018998524196","volume":"7","author":"E.A. Lee","year":"1999","unstructured":"Lee, E.A.: Modeling concurrent real-time processes using discrete events. Ann. Software Eng.\u00a07, 25\u201345 (1999)","journal-title":"Ann. Software Eng."},{"key":"1_CR65","first-page":"333","volume-title":"Proc. POPL 1995","author":"S. Liang","year":"1995","unstructured":"Liang, S., Hudak, P., Jones, M.: Monad transformers and modular interpreters. In: Proc. POPL 1995, pp. 333\u2013343. ACM Press, New York (1995)"},{"key":"1_CR66","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-94-017-0464-9_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.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol.\u00a09, pp. 1\u201387. Kluwer, Dordrecht (2002)","edition":"2"},{"key":"1_CR67","unstructured":"Meredith, P., Hills, M., Ro\u015fu, G.: A K definition of Scheme. Technical Report UIUCDCS-R-2007-2907, Department of Computer Science, University of Illinois at Urbana-Champaign (2007)"},{"key":"1_CR68","first-page":"179","volume-title":"Proc. MEMOCODE 2010","author":"P. Meredith","year":"2010","unstructured":"Meredith, P., Katelman, M., Meseguer, J., Ro\u015fu, G.: A formal executable semantics of Verilog. In: Proc. MEMOCODE 2010, pp. 179\u2013188. IEEE, Los Alamitos (2010)"},{"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":"publisher","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":"publisher","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","first-page":"133","volume-title":"Models, Algebras, and Logic of Engineering Software, NATO Advanced Study Institute","author":"J. Meseguer","year":"2002","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 (2002)"},{"key":"1_CR73","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_CR74","unstructured":"Meseguer, J., Futatsugi, K., Winkler, T.: Using rewriting logic to specify, program, integrate, and reuse open concurrent systems of cooperating agents. In: Proceedings of the 1992 International Symposium on New Models for Software Architecture, Tokyo, Japan, pp. 61\u2013106. Research Institute of Software Engineering (November 1992)"},{"key":"1_CR75","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/978-3-642-16901-4_21","volume-title":"Formal Methods and Software Engineering","author":"J. Meseguer","year":"2010","unstructured":"Meseguer, J., \u00d6lveczky, P.C.: Formalization and correctness of the PALS architectural pattern for distributed real-time systems. In: Dong, J.S., Zhu, H. (eds.) ICFEM 2010. LNCS, vol.\u00a06447, pp. 303\u2013320. Springer, Heidelberg (2010)"},{"key":"1_CR76","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/j.tcs.2006.12.018","volume":"373","author":"J. Meseguer","year":"2007","unstructured":"Meseguer, J., Ro\u015fu, G.: The rewriting logic semantics project. Theoretical Computer Science\u00a0373, 213\u2013237 (2007)","journal-title":"Theoretical Computer Science"},{"key":"1_CR77","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":"V. Bevilacqua","year":"2004","unstructured":"Bevilacqua, V., 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_CR78","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/11814771_3","volume-title":"Automated Reasoning","author":"D. Miller","year":"2006","unstructured":"Miller, D.: Representing and reasoning with operational semantics. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 4\u201320. Springer, Heidelberg (2006)"},{"key":"1_CR79","unstructured":"Misra, J.: Computation orchestration: A basis for wide-area computing. In: Broy, M. (ed.) Proc. of the NATO Advanced Study Institute, Engineering Theories of Software Intensive Systems Marktoberdorf, Germany. NATO ASI Series (2004)"},{"issue":"1","key":"1_CR80","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s10270-006-0012-1","volume":"6","author":"J. Misra","year":"2007","unstructured":"Misra, J., Cook, W.R.: Computation orchestration. Software and System Modeling\u00a06(1), 83\u2013110 (2007)","journal-title":"Software and System Modeling"},{"key":"1_CR81","unstructured":"Moggi, E.: An abstract view of programming languages. Technical Report ECS-LFCS-90-113, Edinburgh University, Dept. of Computer Science (June 1989)"},{"key":"1_CR82","doi-asserted-by":"crossref","unstructured":"Mokhati, F., Badri, M.: Generating Maude specifications from UML use case diagrams. Journal of Object Technology\u00a08(2), 319\u2013136 (2009)","DOI":"10.5381\/jot.2009.8.2.a2"},{"key":"1_CR83","first-page":"356","volume-title":"Proc. QSIC 2007","author":"F. Mokhati","year":"2007","unstructured":"Mokhati, F., Gagnon, P., Badri, M.: Verifying UML diagrams with model checking: A rewriting logic based approach. In: Proc. QSIC 2007, pp. 356\u2013362. IEEE, Los Alamitos (2007)"},{"issue":"3","key":"1_CR84","doi-asserted-by":"publisher","first-page":"59","DOI":"10.5381\/jot.2010.9.3.a2","volume":"9","author":"F. Mokhati","year":"2010","unstructured":"Mokhati, F., Sahraoui, B., Bouzaher, S., Kimour, M.T.: A tool for specifying and validating agents\u2019 interaction protocols: From Agent UML to Maude. Journal of Object Technology\u00a09(3), 59\u201377 (2010)","journal-title":"Journal of Object Technology"},{"key":"1_CR85","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/BFb0028970","volume-title":"STACS 89","author":"P.D. Mosses","year":"1989","unstructured":"Mosses, P.D.: Unified algebras and action semantics. In: Cori, R., Monien, B. (eds.) STACS 1989. LNCS, vol.\u00a0349, pp. 17\u201335. Springer, Heidelberg (1989)"},{"key":"1_CR86","volume-title":"Handbook of Theoretical Computer Science","author":"P.D. Mosses","year":"1990","unstructured":"Mosses, P.D.: Denotational semantics. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol.\u00a0B, ch. 11, North-Holland, Amsterdam (1990)"},{"key":"1_CR87","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/j.jlap.2004.03.008","volume":"60-61","author":"P.D. Mosses","year":"2004","unstructured":"Mosses, P.D.: Modular structural operational semantics. J. Log. Algebr. Program.\u00a060-61, 195\u2013228 (2004)","journal-title":"J. Log. Algebr. Program."},{"key":"1_CR88","first-page":"810","volume-title":"Fifth Int. Joint Conf. and Symp. on Logic Programming","author":"G. Nadathur","year":"1988","unstructured":"Nadathur, G., Miller, D.: An overview of \u03bbProlog. In: Bowen, K., Kowalski, R. (eds.) Fifth Int. Joint Conf. and Symp. on Logic Programming, pp. 810\u2013827. The MIT Press, Cambridge (1988)"},{"key":"1_CR89","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1664","DOI":"10.1007\/3-540-48118-4_38","volume-title":"FM\u201999 - Formal Methods","author":"S. Nakajima","year":"1999","unstructured":"Nakajima, S.: Using algebraic specification techniques in development of object-oriented frameworks. In: Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01709, pp. 1664\u20131683. Springer, Heidelberg (1999)"},{"key":"1_CR90","volume-title":"Proc. ICSE 1997","author":"S. Nakajima","year":"1997","unstructured":"Nakajima, S., Futatsugi, K.: An object-oriented modeling method for algebraic specifications in CafeOBJ. In: Proc. ICSE 1997. ACM, New York (1997)"},{"key":"1_CR91","unstructured":"Norrish, M.: C formalised in HOL. Technical Report UCAM-CL-TR-453, University of Cambridge (December 1998)"},{"key":"1_CR92","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-642-13464-7_5","volume-title":"Formal Techniques for Distributed Systems","author":"P.C. \u00d6lveczky","year":"2010","unstructured":"\u00d6lveczky, P.C., Boronat, A., Meseguer, J.: Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. In: Hatcliff, J., Zucca, E. (eds.) FMOODS 2010. LNCS, vol.\u00a06117, pp. 47\u201362. Springer, Heidelberg (2010)"},{"issue":"2","key":"1_CR93","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(2), 359\u2013405 (2002)","journal-title":"Theoretical Computer Science"},{"issue":"1-2","key":"1_CR94","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10990-007-9001-5","volume":"20","author":"P.C. \u00d6lveczky","year":"2007","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Semantics and pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation\u00a020(1-2), 161\u2013196 (2007)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"1_CR95","unstructured":"Papaspyrou, N.S.: A Formal Semantics for the C Programming Language. PhD thesis, National Technical University of Athens (February 1998)"},{"issue":"3","key":"1_CR96","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/S0920-5489(01)00059-9","volume":"23","author":"N.S. Papaspyrou","year":"2001","unstructured":"Papaspyrou, N.S.: Denotational semantics of ANSI C. Computer Standards and Interfaces\u00a023(3), 169\u2013185 (2001)","journal-title":"Computer Standards and Interfaces"},{"key":"1_CR97","first-page":"199","volume-title":"Proc. PLDI 1988","author":"F. Pfenning","year":"1988","unstructured":"Pfenning, F., Elliott, C.: Higher-order abstract syntax. In: Proc. PLDI 1988, pp. 199\u2013208. ACM Press, New York (1988)"},{"key":"1_CR98","volume-title":"Types and Programming Languages","author":"B. Pierce","year":"2002","unstructured":"Pierce, B.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"1_CR99","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.jlap.2004.03.009","volume":"60-61","author":"G.D. Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Journal of Logic and Algebraic Programming\u00a060-61, 17\u2013139 (2004); Previously published as technical report DAIMI FN-19, Aarhus University (1981)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"1_CR100","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-642-16310-4_12","volume-title":"Rewriting Logic and Its Applications","author":"J.E. Rivera","year":"2010","unstructured":"Rivera, J.E., Dur\u00e1n, F., Vallecillo, A.: On the behavioral semantics of real-time domain specific visual languages. In: \u00d6lveczky, P.C. (ed.) WRLA 2010. LNCS, vol.\u00a06381, pp. 174\u2013190. Springer, Heidelberg (2010)"},{"key":"1_CR101","unstructured":"Ro\u015fu, G.: CS322, Fall, - Programming Language Design: Lecture Notes. Technical Report UIUCDCS-R-2003-2897, University of Illinois at Urbana-Champaign, Dept. of Computer Science, Notes of a course taught at UIUC (2003)"},{"key":"1_CR102","doi-asserted-by":"crossref","unstructured":"Ro\u015fu, G., \u015etef\u0103nescu, A.: Matching logic: A new program verification approach (nier track). In: Proc. ICSE 2011(2011)","DOI":"10.1145\/1985793.1985928"},{"key":"1_CR103","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-17796-5_9","volume-title":"Algebraic Methodology and Software Technology","author":"G. Ro\u015fu","year":"2011","unstructured":"Ro\u015fu, G., Ellison, C., Schulte, W.: Matching logic: An alternative to hoare\/Floyd logic. In: Johnson, M., Pavlovic, D. (eds.) AMAST 2010. LNCS, vol.\u00a06486, pp. 142\u2013162. Springer, Heidelberg (2011)"},{"key":"1_CR104","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., Leu\u015ftean, 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)"},{"issue":"6","key":"1_CR105","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1016\/j.jlap.2010.03.012","volume":"79","author":"G. Ro\u015fu","year":"2010","unstructured":"Ro\u015fu, G., \u015eerb\u0103nu\u0163\u0103, T.F.: An overview of the K semantic framework. Journal of Logic and Algebraic Programming\u00a079(6), 397\u2013434 (2010)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"1_CR106","unstructured":"Sasse, R.: Taclets vs. rewriting logic \u2013 relating semantics of Java. Master\u2019s thesis, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Karlsruhe, Germany, Technical Report in Computing Science No. 2005-16 (May 2005)"},{"key":"1_CR107","doi-asserted-by":"crossref","unstructured":"Sasse, R., Meseguer, J.: Java+ITP: A verification tool based on hoare logic and algebraic semantics. In: Proc. WRLA 2006. ENTCS, vol.\u00a0176(4), pp. 29\u201346 (2007)","DOI":"10.1016\/j.entcs.2007.06.006"},{"key":"1_CR108","volume-title":"Denotational Semantics \u2013 A Methodology for Language Development","author":"D.A. Schmidt","year":"1986","unstructured":"Schmidt, D.A.: Denotational Semantics \u2013 A Methodology for Language Development. Allyn and Bacon, Boston (1986)"},{"key":"1_CR109","first-page":"169","volume-title":"Proceedings, Fourth Annual Princeton Conference on Information Sciences and Systems","author":"D. Scott","year":"1970","unstructured":"Scott, D.: Outline of a mathematical theory of computation. In: Proceedings, Fourth Annual Princeton Conference on Information Sciences and Systems, pp. 169\u2013176. Princeton University, Princeton (1970); Also appeared as Technical Monograph PRG 2, Oxford University, Programming Research Group"},{"key":"1_CR110","unstructured":"Scott, D., Strachey, C.: Toward a mathematical semantics for computer languages. In: Proc. Symp. on Computers and Automata. Microwave Research Institute Symposia Series, vol.\u00a021, Polytechnical Institute of Brooklyn (1971)"},{"key":"1_CR111","unstructured":"T.\u00a0F. \u015eerb\u0103nu\u0163\u0103. A Rewriting Approach to Concurrent Programming Language Design and Semantics. PhD thesis, Department of Computer Science, University of Illinois at Urbana-Champaign (2010)"},{"issue":"2","key":"1_CR112","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/j.ic.2008.03.026","volume":"207","author":"T.F. \u015eerb\u0103nu\u0163\u0103","year":"2009","unstructured":"\u015eerb\u0103nu\u0163\u0103, T.F., Ro\u015fu, G., Meseguer, J.: A rewriting logic approach to operational semantics. Information and Computation\u00a0207(2), 305\u2013340 (2009)","journal-title":"Information and Computation"},{"key":"1_CR113","volume-title":"Formal Syntax and Semantics of Programming Languages","author":"K. Slonneger","year":"1995","unstructured":"Slonneger, K., Kurtz, B.L.: Formal Syntax and Semantics of Programming Languages. Addison-Wesley, Reading (1995)"},{"key":"1_CR114","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59495-3","volume-title":"Java and the Java Virtual Machine: Definition, Verification, Validation","author":"R.F. St\u00e4rk","year":"2001","unstructured":"St\u00e4rk, R.F., Schmid, J., B\u00f6rger, E.: Java and the Java Virtual Machine: Definition, Verification, Validation. Springer, Heidelberg (2001)"},{"key":"1_CR115","series-title":"ENTCS","volume-title":"Proc. WRLA 2002","author":"M.-O. Stehr","year":"2002","unstructured":"Stehr, M.-O., Talcott, C.: PLAN in Maude: Specifying an active network programming language. In: Proc. WRLA 2002. ENTCS, vol.\u00a0117, Elsevier, Amsterdam (2002)"},{"key":"1_CR116","volume-title":"Dagstuhl Seminar 05081 on Foundations of Global Computing","author":"M.-O. Stehr","year":"2005","unstructured":"Stehr, M.-O., Talcott, C.L.: Practical techniques for language design and prototyping. In: Dagstuhl Seminar 05081 on Foundations of Global Computing, February 20 \u2013 25, Schloss Dagstuhl, Wadern (2005)"},{"key":"1_CR117","series-title":"ENTCS","volume-title":"Proc. WRLA 2002","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: Proc. WRLA 2002. ENTCS, Elsevier, Amsterdam (2002)"},{"key":"1_CR118","doi-asserted-by":"publisher","DOI":"10.1142\/3163","volume-title":"Language Prototyping: An Algebraic Specification Approach","author":"A. Deursen van","year":"1996","unstructured":"van Deursen, A., Heering, J., Klint, P.: Language Prototyping: An Algebraic Specification Approach. World Scientific, Singapore (1996)"},{"key":"1_CR119","unstructured":"Verdejo, A.: Maude como marco sem\u00e1ntico ejecutable. PhD thesis, Facultad de Inform\u00e1tica, Universidad Complutense, Madrid, Spain (2003)"},{"key":"1_CR120","series-title":"ENTCS","volume-title":"Proc. WRLA 2002","author":"A. Verdejo","year":"2002","unstructured":"Verdejo, A., Mart\u00ed-Oliet, N.: Implementing CCS in Maude 2. In: Proc. WRLA 2002. ENTCS, Elsevier, Amsterdam (2002)"},{"issue":"1-2","key":"1_CR121","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/s10703-005-2254-x","volume":"27","author":"A. Verdejo","year":"2005","unstructured":"Verdejo, A., Mart\u00ed-Oliet, N.: Two case studies of semantics execution in Maude: CCS and LOTOS. Formal Methods in System Design\u00a027(1-2), 113\u2013172 (2005)","journal-title":"Formal Methods in System Design"},{"issue":"1-2","key":"1_CR122","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1016\/j.jlap.2005.09.008","volume":"67","author":"A. Verdejo","year":"2006","unstructured":"Verdejo, A., Mart\u00ed-Oliet, N.: Executable structural operational semantics in Maude. Journal of Logic and Algebraic Programming\u00a067(1-2), 226\u2013293 (2006)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"1_CR123","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"},{"key":"1_CR124","first-page":"1","volume-title":"Proc. POPL 1992","author":"P. Wadler","year":"1992","unstructured":"Wadler, P.: The essence of functional programming. In: Proc. POPL 1992, pp. 1\u201314. ACM Press, New York (1992)"},{"key":"1_CR125","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/BF00286491","volume":"14","author":"M. Wand","year":"1980","unstructured":"Wand, M.: First-order identities as a defining language. Acta Informatica\u00a014, 337\u2013357 (1980)","journal-title":"Acta Informatica"},{"issue":"2-3","key":"1_CR126","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1016\/j.tcs.2008.04.037","volume":"402","author":"I. Wehrman","year":"2008","unstructured":"Wehrman, I., Kitchin, D., Cook, W.R., Misra, J.: A timed semantics of Orc. Theor. Comput. Sci.\u00a0402(2-3), 234\u2013248 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR127","doi-asserted-by":"crossref","unstructured":"Wirsing, M., Knapp, A.: A formal approach to object-oriented software engineering. In: Proc. WRLA 1996. ENTCS, vol.\u00a04, pp. 322\u2013360 (1996)","DOI":"10.1016\/S1571-0661(04)00046-5"},{"issue":"2","key":"1_CR128","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1016\/S0304-3975(01)00367-X","volume":"285","author":"M. Wirsing","year":"2002","unstructured":"Wirsing, M., Knapp, A.: A formal approach to object-oriented software engineering. Theoretical Computer Science\u00a0285(2), 519\u2013560 (2002)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"1_CR129","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A.K. Wright","year":"1994","unstructured":"Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. Information and Computation\u00a0115(1), 38\u201394 (1994)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22953-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,22]],"date-time":"2020-06-22T10:09:05Z","timestamp":1592820545000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22953-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642229527","9783642229534"],"references-count":130,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22953-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}