{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:12Z","timestamp":1725663912552},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540578673"},{"type":"electronic","value":"9783540483618"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57867-6_17","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T08:32:25Z","timestamp":1330245145000},"page":"280-294","source":"Crossref","is-referenced-by-count":2,"title":["Unified algebras and abstract syntax"],"prefix":"10.1007","author":[{"given":"Peter D.","family":"Mosses","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"V. M. Antimirov and P. D. Mosses. Rewriting extended regular expressions. Technical Monograph DAIMI PB-461, Computer Science Dept., Aarhus University, 1993. A short version is to appear in Proc. Conf. on Developments in Language Theory, ed. A. Salomaa, World Scientific Publ.","DOI":"10.7146\/dpb.v22i461.6934"},{"key":"17_CR2","unstructured":"D. Bj\u00f8rner and C. B. Jones, editors. Formal Specification & Software Development. Prentice-Hall, 1982."},{"key":"17_CR3","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J. A. Goguen","year":"1977","unstructured":"J. A. Goguen, J. W. Thatcher, E. G. Wagner, and J. B. Wright. Initial algebra semantics and continuous algebras. J. ACM, 24:68\u201395, 1977.","journal-title":"J. ACM"},{"key":"17_CR4","unstructured":"G. Gr\u00e4tzer. Lattice Theory; First Concepts and Distributive Lattices. W. H. Freeman & Co., 1971."},{"key":"17_CR5","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/0167-6423(83)90009-6","volume":"3","author":"G. Kahn","year":"1983","unstructured":"G. Kahn et al. Metal: A formalism to specify formalisms. Sci. Compu. Programming, 3:151\u2013188, 1983.","journal-title":"Sci. Compu. Programming"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"P. Klint. A meta-environment for generating programming environments. In Algebraic Methods II: Theory, Tools, and Applications, volume 490 of Lecture Notes in Computer Science, pages 105\u2013124. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-53912-3_20"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"D. Kozen. A completeness theorem for Kleene algebras and the algebra of regular events. In LICS'91, Proc. 6th Ann. Symp. on Logic in Computer Science, pages 214\u2013225. IEEE, 1991.","DOI":"10.1109\/LICS.1991.151646"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"D. Kozen. On action algebras. Technical Monograph DAIMI PB-381, Computer Science Dept., Aarhus University, 1992.","DOI":"10.7146\/dpb.v21i381.6613"},{"key":"17_CR9","unstructured":"J. McCarthy. Towards a mathematical science of computation. In Information Processing 62, Proc. IFIP Congress 62, pages 21\u201328. North-Holland, 1962."},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"P. D. Mosses. Unified algebras and institutions. In LICS'89, Proc. 4th Ann. Symp. on Logic in Computer Science, pages 304\u2013312. IEEE, 1989.","DOI":"10.1109\/LICS.1989.39185"},{"volume-title":"Handbook of Theoretical Computer Science, volume B","year":"1990","author":"P. D. Mosses","key":"17_CR11","unstructured":"P. D. Mosses. Denotational semantics. In J. van Leeuwen, A. Meyer, M. Nivat, M. Paterson, and D. Perrin, editors, Handbook of Theoretical Computer Science, volume B, chapter 11. Elsevier Science Publishers, Amsterdam; and MIT Press, 1990."},{"key":"17_CR12","unstructured":"P. D. Mosses. Action Semantics, volume 26 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992."},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"P. D. Mosses. The use of sorts in algebraic specifications. In Proc. 8th Workshop on Abstract Data Types and 3rd COMPASS Workshop, volume 655 of Lecture Notes in Computer Science, pages 66\u201391. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56379-2_35"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"V. Pratt. Action logic and pure induction. In Logics in AI, Proc. European Workshop JELIA '90, volume 478 of Lecture Notes in Computer Science, pages 97\u2013120. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0018436"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"T. W. Reps and T. Teitelbaum. The Synthesizer Generator Reference Manual. Springer-Verlag, third edition, 1989.","DOI":"10.1007\/978-1-4613-9633-8"},{"key":"17_CR16","unstructured":"D. A. Schmidt. Denotational Semantics: A Methodology for Language Development. Allyn & Bacon, 1986."},{"key":"17_CR17","unstructured":"D. S. Scott and C. Strachey. Toward a mathematical semantics for computer languages. In Proc. Symp. on Computers and Automata, volume 21 of Microwave Research Institute Symposia Series. Polytechnic Institute of Brooklyn, 1971."},{"key":"17_CR18","unstructured":"J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977."}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57867-6_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:14:52Z","timestamp":1605629692000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57867-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578673","9783540483618"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-57867-6_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}