{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:43Z","timestamp":1725663763290},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540525592"},{"type":"electronic","value":"9783540470359"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52559-9_69","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:36:31Z","timestamp":1330187791000},"page":"301-339","source":"Crossref","is-referenced-by-count":1,"title":["Transformation of combined data type and process specifications using projection algebras"],"prefix":"10.1007","author":[{"given":"M.","family":"Gro\u00dfe-Rhode","sequence":"first","affiliation":[]},{"given":"H.","family":"Ehrig","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"E.Astesiano, G.F.Mascari, G.Reggio, M.Wirsing: On the Parameterized Algebraic Specification of Concurrent Systems, Proc. CAAP85 \u2014 TAPSOFT Conference, Springer LNCS 185, 1985","DOI":"10.1007\/3-540-15198-2_22"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"E.Astesiano, G.Reggio: An Outline of the SMoLCS Methodology, Mathematical Models for the Semantics of Parallelism, Springer LNCS 280, 1987","DOI":"10.1007\/3-540-18419-8_11"},{"issue":"2","key":"11_CR3","first-page":"293","volume":"34","author":"E.K. Blum","year":"1987","unstructured":"E.K. Blum, H. Ehrig, F. Parisi-Presicce: Algebraic Specification of Modules and Their Basic Interconnections, in JCCS Vol.34, No.2\/3, pp.293\u2013339, 1987","journal-title":"JCCS"},{"key":"11_CR4","unstructured":"R.M.Burstall, J.A.Goguen: CAT, a System for the Structured Elaboration of Correct Programs from Structured Specifications, unpublished draft, University of Edinburgh \/ SRI International, March 1980"},{"key":"11_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: The Algebra of Recursively Defined Processes and the Algebra of Regular Processes, Report IW 235\/83, Math. Centrum, Amsterdam 1983"},{"key":"11_CR6","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, p. 89\u2013138, Amsterdam 1986"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"M. Broy: Specification and Top Down Design of Distributed Systems, Proc. of TAPSOFT, Joint Concerence of Theory and Practice of Software Development, Berlin, Springer LNCS 185, 1985","DOI":"10.1007\/3-540-15198-2_2"},{"key":"11_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(86)90040-X","volume":"45","author":"M. Broy","year":"1986","unstructured":"M. Broy: A Theory for Nondeterminism, Parallelism, Communication and Concurrency, Habilitation, Fakult\u00e4t f\u00fcr Mathematik und Informatik der Technischen Universit\u00e4t M\u00fcnchen, 1982, revised version in Theoretical Computer Science 45, pp 1\u201361, 1986","journal-title":"revised version in Theoretical Computer Science"},{"key":"11_CR9","unstructured":"M.Broy: Algebraic and Functional Specification of a Serializable Database Interface, Technical Report, Universit\u00e4t Passau, MIP-8718, 1987"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"J.W.DeBakker, 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\/2","key":"11_CR11","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/S0019-9958(82)91250-5","volume":"54","author":"J.W. DeBakker","year":"1982","unstructured":"J.W. DeBakker, 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":"11_CR12","unstructured":"COMPASS Working Group: A Comprehenisve Approach to System Specification and Development, B.Krieg Br\u00fcckner (ed.), Technical Report No 6\/89, Universit\u00e4t Bremen 1989"},{"key":"11_CR13","unstructured":"C.Dimitrovici, H.Ehrig, M.Gro\u00dfe-Rhode, C.Rieckhoff: Projektionsr\u00e4ume und Projektionsalgebren: Eine Algebraisierung von ultrametrischen R\u00e4ume, Technical Report No. 87-7, TU Berlin, 1987"},{"key":"11_CR14","unstructured":"C.Dimitrovici: Projection Module Specifications and Their Basic Interconnections, Technical Report No. 89-5, TU Berlin 1989"},{"key":"11_CR15","unstructured":"H.Ehrig,W.Fey,H.Hansen: ACT ONE: An Algebraic Specification Language with Two Levels of Semantics, TUB Bericht Nr.83-01"},{"key":"11_CR16","unstructured":"H.Ehrig: Concepts and Compatibility Requirements for Implementations and Transformations of Specifications, Algebraic Specification Column Part 6, EATCS Bulletin 38, April 1989"},{"key":"11_CR17","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/S0304-3975(82)80001-7","volume":"20","author":"H. Ehrig","year":"1982","unstructured":"H. Ehrig, H.J. Kreowski, B. Mahr, P. Padawitz: Algebraic Implementation of Abstract Data Types, Theor. Comp. Science 20, pp.209\u2013263, 1982","journal-title":"Theor. Comp. Science"},{"key":"11_CR18","first-page":"142","volume":"85","author":"H. Ehrig","year":"1980","unstructured":"H. Ehrig, H.J. Kreowski, P. Padawitz: Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness. Proc. ICALP 80, Springer LNCS 85, pp. 142\u2013156, 1980","journal-title":"Proc. ICALP 80, Springer LNCS"},{"key":"11_CR19","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-NewYork-Tokyo 1985"},{"key":"11_CR20","volume-title":"Fundamentals of Algebraic Specifications 2: Modules and Constraints","author":"H. Ehrig","year":"1989","unstructured":"H. Ehrig, B. Mahr: Fundamentals of Algebraic Specifications 2: Modules and Constraints, Springer Verlag, Berlin-Heidelberg-NewYork-Tokyo 1989"},{"key":"11_CR21","first-page":"23","volume":"332","author":"H. Ehrig","year":"1988","unstructured":"H. Ehrig, F. Parisi-Presicce, P. Boehm, C. Rieckhoff, C. Dimitrovici, M. Gro\u00dfe-Rhode: Algebraic Data Type and Process Specifications Based on Projection Spaces, Springer LNCS 332, p.23\u201343, 1988","journal-title":"Springer LNCS"},{"key":"11_CR22","unstructured":"H.Ehrig, P.Pepper, F.Orejas: On Recent Trends in Algebraic Specification, Invited paper for ICALP'89, Stresa"},{"key":"11_CR23","unstructured":"M. Gro\u00dfe-Rhode: Specification of Projection Algebras, Diploma Thesis, TU Berlin, 1988"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"M.Gro\u00dfe-Rhode: Parameterized Data Type and Process Specifications Using Projection Algebras, in: Categorical Methods in Computer Science with Aspects from Topology, H.Ehrig, M.Herrlich, H.J.Kreowski G.Preu\u00df (eds.), Springer LNCS 393, 1989","DOI":"10.1007\/3-540-51722-7_11"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"H.Herrlich, H.Ehrig: The Construct PRO of Projection Spaces: Its Internal Structure, in: Categorical Methods in Computer Science with Aspects from Topology, H.Ehrig, M.Herrlich, H.J.Kreowski G.Preu\u00df (eds.), Springer LNCS 393, 1989","DOI":"10.1007\/3-540-51722-7_17"},{"key":"11_CR26","volume-title":"Category Theory","author":"H. Herrlich","year":"1973","unstructured":"H. Herrlich, G.E. Strecker: Category Theory, Allyn and Bacon, Boston 1973"},{"key":"11_CR27","unstructured":"U.Hummert: High Level Netze, Technical Report No. 87-10, TU Berlin 1987"},{"key":"11_CR28","volume-title":"Algebraische Theorie von High Level Netzen","author":"U. Hummert","year":"1989","unstructured":"U. Hummert: Algebraische Theorie von High Level Netzen, Dissertation, TU Berlin, 1989"},{"key":"11_CR29","unstructured":"ISO-DIS 8807, ISO\/TC97\/SC21\/WG1-FDT\/SC-C, \"LOTOS, a formal description technique based on the temporal ordering of observational behaviour\", December 1986"},{"key":"11_CR30","unstructured":"K.Jensen: Coloured Petri Nets, Advances in Petri Nets, Springer LNCS 255, 1986"},{"key":"11_CR31","unstructured":"B.Krieg-Br\u00fcckner, B.Hoffmann, H.Ganzinger, M.Broy, R.Wilhelm, U.M\u00f6ncke, B.Weisgerber, A.McGettrick, I.G. Campbell, G.Winterstein: PROgram development by SPECification and TRAnsformation. In: M.W.Roger (ed.): Results and Achievements, Proc. ESPRIT Conf. 86, North Holland (1987) 301\u2013312"},{"key":"11_CR32","unstructured":"S.Kaplan, A.Pnueli: Specification and Implementation of Concurrently Accessed Data Structures: An Abstract Data Type Approach, Proc. Symp. on Theoretical Aspects of Computer Science '87, Springer LNCS 247, 1987"},{"key":"11_CR33","doi-asserted-by":"crossref","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","DOI":"10.1007\/978-3-662-09691-8_14"},{"key":"11_CR34","doi-asserted-by":"crossref","unstructured":"R.Milner: CCS, A Calculus of Communicating Systems, Springer LNCS 92, 1980","DOI":"10.1007\/3-540-10235-3"},{"key":"11_CR35","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets","author":"Reisig","year":"1985","unstructured":"Reisig: Petri Nets, Springer Berlin Heidelberg New York 1985"},{"key":"11_CR36","doi-asserted-by":"crossref","unstructured":"M.Smyth: Quasi-Uniformities: Reconciling Domains and Metric Spaces, Third Workshop on Mathematical Foundations of Programming Language Semantics (Tulane 1987), to appear: Springer LNCS, 1988","DOI":"10.1007\/3-540-19020-1_12"},{"key":"11_CR37","unstructured":"A.Tarlecki, M.Wirsing: Continuous abstract data types, Fundamenta Informaticae IX (1986) 95\u2013126, North-Holland"},{"key":"11_CR38","doi-asserted-by":"crossref","unstructured":"J.Vautherin: Parallel System Specifications with Coloured Petri Nets and Algebraic Abstract Data Types, 7th European Workshop on Applications and Theory of Petri Nets, Oxford 1986","DOI":"10.1007\/3-540-18086-9_31"}],"container-title":["Lecture Notes in Computer Science","Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52559-9_69.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:24:35Z","timestamp":1605630275000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52559-9_69"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540525592","9783540470359"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/3-540-52559-9_69","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}