{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:02:47Z","timestamp":1725487367128},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540404385"},{"type":"electronic","value":"9783540450139"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-45013-0_21","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:06:29Z","timestamp":1184601989000},"page":"262-277","source":"Crossref","is-referenced-by-count":8,"title":["Mapping Modular SOS to Rewriting Logic"],"prefix":"10.1007","author":[{"given":"Christiano O.","family":"de Braga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E. Hermann","family":"H\u00e6usler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter D.","family":"Mosses","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"key":"21_CR1","unstructured":"M. Clavel. Reflection in rewriting logic: metalogical foundations and metaprogramming applications. CSLI Publications, 2000."},{"key":"21_CR2","unstructured":"M. Clavel, F. Dur\u00e1n, S. Eker, N. Mart\u00ed-Oliet, P. Lincoln, J. Meseguer, and J. Quesada. Maude: Specification and Programming in Rewriting Logic. SRI International, http:\/\/maude.csl.sri.com , January 1999."},{"issue":"2","key":"21_CR3","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0304-3975(01)00360-7","volume":"285","author":"M. Clavel","year":"2002","unstructured":"M. Clavel and J. Meseguer. Reflection in conditional rewriting logic. Theoretical Computer Science, 285(2):245\u2013288, August 2002.","journal-title":"Theoretical Computer Science"},{"key":"21_CR4","unstructured":"C. de O. Braga. Rewriting Logic as a Semantic Framework for Modular Structural Operational Semantics. PhD thesis, Pontif\u00edcia Universidade Cat\u00f3lica do Rio de Janeiro, September 2001. http:\/\/www.ic.uff.br\/~cbraga ."},{"key":"21_CR5","series-title":"Lect Notes Comput Sci","first-page":"407","volume-title":"AMAST\u201900, Proc. 8th Intl. Conf. on Algebraic Methodology and Software Technology, Iowa City, IA, USA","author":"C.O. Braga de","year":"2000","unstructured":"C. de O. Braga, E. H. Haeusler, J. Meseguer, and P. D. Mosses. Maude action tool: Using reflection to map action semantics to rewriting logic. In AMAST\u201900, Proc. 8th Intl. Conf. on Algebraic Methodology and Software Technology, Iowa City, IA, USA, volume 1816 of Lecture Notes in Computer Science, pages 407\u2013421. Springer, May 2000."},{"key":"21_CR6","unstructured":"F. Dur\u00e1n. A Reflective Module Algebra with Applications to the Maude Language. PhD thesis, Universidad de Mlaga, Escuela Tcnica Superior de Ingeniera Informtica, 1999."},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"N. Mart\u00ed-Oliet and J. Meseguer. Handbook of Philosophical Logic, volume 61, chapter Rewriting Logic as a Logical and Semantic Framework. Kluwer Academic Publishers, second edition, 2001. http:\/\/maude.csl.sri.com\/papers .","DOI":"10.1007\/978-94-017-0464-9_1"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"J. Meseguer. A logical theory of concurrent objects. In N. Meyrowitz, editor, Proceedings ECOOP-OOPSLA\u201990 Conference on Object-Oriented Programming, Ottawa, Canada, October 1990, pages 101\u2013115. ACM Press, 1990.","DOI":"10.1145\/97945.97958"},{"issue":"1","key":"21_CR9","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"J. Meseguer. Conditional rewriting as a unified model of concurrency. Theoretical Computer Science, 96(1):73\u2013155, April 1992.","journal-title":"Theoretical Computer Science"},{"key":"21_CR10","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall International Series in Computer Science. Prentice-Hall International, 1989."},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"P. D. Mosses. Action Semantics. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511569869"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"P. D. Mosses. A Modular SOS for ML concurrency primitives. Technical Report Research Series RS-99-57, BRICS, Dept. of Computer Science, Univ. of Aarhus, 1999.","DOI":"10.7146\/brics.v6i57.20127"},{"key":"21_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-45719-4_3","volume-title":"Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9\u201313, 2002, Proceedings","author":"P. D. Mosses","year":"2002","unstructured":"P. D. Mosses. Pragmatics of Modular SOS. In H. Kirchner and C. Ringeissen, editors, Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9\u201313, 2002, Proceedings, volume 2422 of Lecture Notes in Computer Science, pages 21\u201340. Springer, 2002."},{"key":"21_CR14","unstructured":"G. D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981."}],"container-title":["Lecture Notes in Computer Science","Logic Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45013-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T03:21:52Z","timestamp":1556680912000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45013-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540404385","9783540450139"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45013-0_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}