{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:46:13Z","timestamp":1747579573628},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540503255"},{"type":"electronic","value":"9783540459705"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50325-0_2","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:20:32Z","timestamp":1330201232000},"page":"23-43","source":"Crossref","is-referenced-by-count":13,"title":["Algebraic data type and process specifications based on projection spaces"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"Francesco","family":"Parisi-Presicce","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Boehm","sequence":"additional","affiliation":[]},{"given":"Catharina","family":"Rieckhoff","sequence":"additional","affiliation":[]},{"given":"Cristian","family":"Dimitrovici","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Gro\u00dfe-Rhode","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"2_CR1","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, J.B. Wright: Initial Algebra Semantics as Continuous Algebras, Journal ACM 24, 68\u201395, 1977","journal-title":"Journal ACM"},{"key":"2_CR2","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0304-3975(78)90040-3","volume":"7","author":"J. B. Wright","year":"1978","unstructured":"J.B. Wright, E.G. Wagner, J.W. Thatcher: A Uniform Approach to Inductive Posets and Inductive Closure, Theoretical Computer Science 7, 57\u201377, 1978","journal-title":"Theoretical Computer Science"},{"key":"2_CR3","first-page":"445","volume":"4","author":"A. Arnold","year":"1980","unstructured":"A. Arnold, M. Nivat: The metric space of infinite trees. Algebraic and topological properties, Societatis Mathematicae Polonae, Series IV:Fundamenta Informatica III, 4 p. 445\u2013476, 1980","journal-title":"Algebraic and topological properties, Societatis Mathematicae Polonae, Series IV:Fundamenta Informatica III"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"E.K.Blum, H.Ehrig,F.Parisi-Presicce: Algebraic Specifications of Modules and Their Basic Interconnections, Journal of Computer and System Sciences Vol 34, April\/June 1987","DOI":"10.1016\/0022-0000(87)90028-6"},{"key":"2_CR5","volume-title":"The Algebra of recursively defined processes and the algebra of regular processes, Report IW 235\/83","author":"J. A. Bergstra","year":"1983","unstructured":"J.A. Bergstra, J.W. Klop, 1983: The Algebra of recursively defined processes and the algebra of regular processes, Report IW 235\/83, Math. Centrum, Amsterdam 1983"},{"key":"2_CR6","first-page":"89","volume-title":"CWI Monographs I Series, Proceedings of the CWI Symposium Mathematics and Computer Science","author":"J. A. Bergstra","year":"1986","unstructured":"J.A. Bergstra, J.W. Klop: Algebra of Communicating Processes, in: CWI Monographs I Series, Proceedings of the CWI Symposium Mathematics and Computer Science, North-Holland, Amsterdam 1986, p. 89\u2013138"},{"issue":"3","key":"2_CR7","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF01894874","volume":"17","author":"M. N. Bleicher","year":"1966","unstructured":"M.N. Bleicher, H. Schneider: Completions of Partially Ordered Sets and Universal Algebras, Acta Math. Acad. Sci. Hung. Tomus 17 (3\u20134), 271\u2013301, 1966","journal-title":"Acta Math. Acad. Sci. Hung. Tomus"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"J.W. De Bakker, J.I. Zucker: Denotational semantics of concurrency Proc. 14th. ACM Symp. on Theory of Computing, p. 153\u2013158, 1982","DOI":"10.1145\/800070.802188"},{"issue":"1","key":"2_CR9","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/S0019-9958(82)91250-5","volume":"54","author":"J. W. Bakker De","year":"1982","unstructured":"J.W. De Bakker, J.I. Zucker: Processes and the denotational semantics of concurrency, Information and Control, Vol.54, No.1\/2, p.70\u2013120, 1982","journal-title":"Information and Control"},{"key":"2_CR10","unstructured":"C.Dimitrovici, H.Ehrig, M.Gro\u00dfe-Rhode, C.Rieckhoff: Projektionsr\u00e4ume und Projektions-algebren: Eine Algebraisierung von ultrametrischen R\u00e4umen, Technical Report No. 87\u20137, TU Berlin, 1987"},{"key":"2_CR11","first-page":"59","volume":"233","author":"H. Ehrig","year":"1986","unstructured":"H. Ehrig, W. Fey, F. Parisi-Presicce, E.K. Blum: Algebraic Theory of Module Specifications with Constraints, invited paper for MFCS'86, LNCS 233 (1986), 59\u201377","journal-title":"invited paper for MFCS'86, LNCS"},{"key":"2_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig, B. Mahr: Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics, Springer Verlag, Berlin-Heidelberg-New York-Tokyo 1985"},{"key":"2_CR13","unstructured":"M.Hennessy, R.Milner: Algebraic Laws for Nondeterminism and Concurrency, University of Edingburgh, Department of Computer Science, Internal Report CSR-133-83, June 1983"},{"key":"2_CR14","first-page":"122","volume-title":"Approximating the Projective Model, Report CS-R8607","author":"E. Kranakis","year":"1980","unstructured":"E. Kranakis: Approximating the Projective Model, Report CS-R8607,Centre for Mathematics and Computer Science, Amsterdam 1980, 122\u2013133, 179\u2013191"},{"key":"2_CR15","unstructured":"E.Kranakis, Fixed point equations with parameters in the projective model, CWI Report CS-R8606, Amsterdam 1986, to be published in Information and Computation"},{"key":"2_CR16","unstructured":"ISO-documents and draft proposals on the Specification Language LOTOS since 1983"},{"key":"2_CR17","unstructured":"H.Ehrig, J.Buntrock, P.Boehm, K.P.Hasler, F.N\u00fcrnberg, C.Rieckhoff, J.deMeer: Towards an Algebraic Semantics of the ISO-Specification Language LOTOS, draft version, Technische Universit\u00e4t Berlin, May 1986"},{"key":"2_CR18","unstructured":"Information processing systems-Open systems interconnection-LOTOS-A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour,ISO DIS 8807 (ISO\/TC97\/SC21N), July 20, 1987"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"R.Milner, A Calculus of Communicating Systems, Springer LNCS 92, 1980","DOI":"10.1007\/3-540-10235-3"},{"key":"2_CR20","first-page":"197","volume":"197","author":"R. Milner","year":"1985","unstructured":"R. Milner, Lectures on a calculus for communicating systems, seminar on concurrency, Springer LNCS 197, 197\u2013220, 1985","journal-title":"Springer LNCS"},{"key":"2_CR21","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1007\/978-3-662-09691-8_14","volume":"116","author":"B. M\u00f6ller","year":"1986","unstructured":"B. M\u00f6ller, W. Dosch: On the Algebraic Specification of Domains, in Recent Trends in Data Type Specification (e.d. H.J.Kreowski), Informatik Fachberichte 116, Springer Verlag 1986, 178\u2013195","journal-title":"Informatik Fachberichte"},{"key":"2_CR22","unstructured":"B.M\u00f6ller: Unendliche Objekte und Geflechte, Fakult\u00e4t f\u00fcr Mathematik und Informatik der TU M\u00fcnchen, Dissertation, TUM-18213, 1982"},{"key":"2_CR23","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1007\/BF00267044","volume":"22","author":"B. M\u00f6ller","year":"1985","unstructured":"B. M\u00f6ller: On the Algebraic Specification of Objects \u2014 Ordered and Continuous Models of Algebraic Types, Acta Informatica 22, 537\u2013578, 1985","journal-title":"Acta Informatica"},{"key":"2_CR24","first-page":"255","volume-title":"On the Interpretation of Recursive Polyadic Program Schemes, Istituto Nazionale di Alta Mathematica XV","author":"M. Nivat","year":"1975","unstructured":"M. Nivat: On the Interpretation of Recursive Polyadic Program Schemes, Istituto Nazionale di Alta Mathematica XV, 255\u2013281, Academic Press, London 1975"},{"key":"2_CR25","doi-asserted-by":"crossref","first-page":"95","DOI":"10.3233\/FI-1986-9106","volume":"IX","author":"A. Tarlecki","year":"1986","unstructured":"A. Tarlecki, M. Wirsing: Continuous abstract data types, Fundamenta Informaticae IX (1986) 95\u2013126, North-Holland","journal-title":"Fundamenta Informaticae"}],"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-50325-0_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T13:02:11Z","timestamp":1713618131000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50325-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540503255","9783540459705"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-50325-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}