{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:06:42Z","timestamp":1725566802837},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540235804"},{"type":"electronic","value":"9783540301752"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30175-2_27","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T19:34:58Z","timestamp":1285270498000},"page":"489-490","source":"Crossref","is-referenced-by-count":1,"title":["Modular Language Descriptions"],"prefix":"10.1007","author":[{"given":"Peter D.","family":"Mosses","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"van den Brand, M.G.J., Iversen, J., Mosses, P.D.: An action environment. In: LDTA 2004, ENTCS (2004) (to appear)","DOI":"10.7146\/brics.v11i36.21861"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"van den Brand, M.G.J., Iversen, J., Mosses, P.D.: An action environment (tool demonstration). In: LDTA 2004, ENTCS (2004) (to appear)","DOI":"10.1016\/j.entcs.2004.06.002"},{"issue":"1","key":"27_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0167-6423(02)00107-7","volume":"47","author":"K.-G. Doh","year":"2003","unstructured":"Doh, K.-G., Mosses, P.D.: Composing programming languages by combining action-semantics modules. Sci. Comput. Programming\u00a047(1), 3\u201336 (2003)","journal-title":"Sci. Comput. Programming"},{"issue":"5","key":"27_CR4","first-page":"416","volume":"3","author":"P. Kutter","year":"1997","unstructured":"Kutter, P., Pierantonio, A.: Montages: Specifications of realistic programming languages. JUCS\u00a03(5), 416\u2013442 (1997)","journal-title":"JUCS"},{"key":"27_CR5","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Inf. and Comp.\u00a093, 55\u201392 (1991)","journal-title":"Inf. and Comp."},{"key":"27_CR6","first-page":"575","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, pp. 575\u2013631. Elsevier Science Publishers and MIT Press, Amsterdam (1990)"},{"key":"27_CR7","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569869","volume-title":"Action Semantics","author":"P.D. Mosses","year":"1992","unstructured":"Mosses, P.D.: Action Semantics. Cambridge Tracts in Theoretical Computer Science, vol.\u00a026. Cambridge University Press, Cambridge (1992)"},{"key":"27_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/3-540-61550-4_139","volume-title":"Mathematical Foundations of Computer Science 1996","author":"P.D. Mosses","year":"1996","unstructured":"Mosses, P.D.: Theory and practice of Action Semantics. In: Penczek, W., Sza\u0142as, A. (eds.) MFCS 1996. LNCS, vol.\u00a01113, pp. 37\u201361. Springer, Heidelberg (1996)"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Mosses, P.D.: Foundations of modular SOS. BRICS RS-99-54, Dept. of Computer Science, Univ. of Aarhus (1999)","DOI":"10.7146\/brics.v6i54.20124"},{"key":"27_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-45719-4_3","volume-title":"Algebraic Methodology and Software Technology","author":"P.D. Mosses","year":"2002","unstructured":"Mosses, P.D.: Pragmatics of modular SOS. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol.\u00a02422, pp. 21\u201340. Springer, Heidelberg (2002)"},{"key":"27_CR11","first-page":"17","volume":"60","author":"P.D. Mosses","year":"2004","unstructured":"Mosses, P.D.: Exploiting labels in structural operational semantics. Fundamenata Informaticae\u00a060, 17\u201331 (2004)","journal-title":"Fundamenata Informaticae"},{"key":"27_CR12","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. Logic and Algebraic Programming\u00a060-61, 195\u2013228 (2004); Special issue on SOS","journal-title":"J. Logic and Algebraic Programming"},{"key":"27_CR13","first-page":"135","volume-title":"IFIP TC2 Working Conf., Gl. Avern\u00e6s, 1986, Proceedings","author":"P.D. Mosses","year":"1987","unstructured":"Mosses, P.D., Watt, D.A.: The use of action semantics. In Formal Description of Programming Concepts III. In: IFIP TC2 Working Conf., Gl. Avern\u00e6s, 1986, Proceedings, pp. 135\u2013166. North-Holland, Amsterdam (1987)"},{"key":"27_CR14","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.jlap.2004.05.001","volume":"60-61","author":"G.D. Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. J. Logic and Algebraic Programming\u00a060-61, 17\u2013139 (2004); Special issue on SOS. Originally published as DAIMI FN-19, Dept. of Computer Science, Univ. of Aarhus (1981)","journal-title":"J. Logic and Algebraic Programming"},{"key":"27_CR15","volume-title":"Programming Language Syntax and Semantics","author":"D.A. Watt","year":"1991","unstructured":"Watt, D.A.: Programming Language Syntax and Semantics. Prentice-Hall, Englewood Cliffs (1991)"}],"container-title":["Lecture Notes in Computer Science","Generative Programming and Component Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30175-2_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:45:14Z","timestamp":1605761114000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30175-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540235804","9783540301752"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30175-2_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}