{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:57Z","timestamp":1761611217764},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540654933"},{"type":"electronic","value":"9783540492139"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49213-5_6","type":"book-chapter","created":{"date-parts":[[2007,12,9]],"date-time":"2007-12-09T12:03:39Z","timestamp":1197201819000},"page":"130-149","source":"Crossref","is-referenced-by-count":9,"title":["Compositional Refinement of Interactive Systems Modelled by Relations"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,5,21]]},"reference":[{"key":"6_CR1","unstructured":"M. Abadi, L. Lamport: The Existence of Refinement Mappings. Digital Systems Research Center, SRC Report 29, August 1988"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"M. Abadi, L. Lamport: Composing Specifications. Digital Systems Research Center, SRC Report 66, October 1990","DOI":"10.1007\/3-540-52559-9_59"},{"key":"6_CR3","series-title":"Lect Notes Comput Sci","first-page":"506","volume-title":"Proc. ICALP 91","author":"L. A. M. Hennessy","year":"1991","unstructured":"L. Aceto, M. Hennessy: Adding Action Refinement to a Finite Process Algebra. Proc. ICALP 91, Lecture Notes in Computer Science 510, (1991), 506\u2013519"},{"key":"6_CR4","series-title":"Lect Notes Comput Sci","first-page":"122","volume-title":"FME\u2019 97: 4th International Symposium of Formal Methods Europe","author":"F. H. B. S. G. Einert","year":"1997","unstructured":"F. Huber, B. Sch\u00e4tz, G. Einert: Consistent Graphical Specification of Distributed Systems. In: J. Fitzgerald, C. B. Jones, P. Lucas (ed.): FME\u2019 97: 4th International Symposium of Formal Methods Europe, Lecture Notes in Computer Science 1313, 1997, 122\u2013141"},{"key":"6_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/3-540-52559-9_60","volume-title":"Stepwise Refinement of Distributed Systems","author":"R.J.R. Back","year":"1990","unstructured":"R.J.R. Back: Refinement Calculus, Part I: Sequential Nondeterministic Programs. REX Workshop. In: J. W. de Bakker, W.-P. de Roever, G. Rozenberg (eds): Stepwise Refinement of Distributed Systems. Lecture Notes in Computer Science 430, 42\u201366"},{"key":"6_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/3-540-52559-9_61","volume-title":"Stepwise Refinement of Distributed Systems","author":"R.J.R. Back","year":"1990","unstructured":"R.J.R. Back: Refinement Calculus, Part II: Parallel and Reactive Programs. REX Workshop. In: J. W. de Bakker, W.-P. de Roever, G. Rozenberg (eds): Stepwise Refinement of Distributed Systems. Lecture Notes in Computer Science 430, 67\u201393"},{"key":"6_CR7","unstructured":"R. Breu, R. Grosu, Franz Huber, B. Rumpe, W. Schwerin: Towards a Precise Semantics for Object-Oriented Modeling Techniques. In: H. Kilov, B. Rumpe (eds.): Proceedings ECOOP\u201997 Workshop on Precise Semantics for Object-Oriented Modeling Techniques, 1997, Also: Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-I9725, 1997"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"M. Broy, B. M\u00f6ller, P. Pepper, M. Wirsing: Algebraic Implementations Preserve Program Correctness. Science of Computer Programming 8 (1986), 1\u201319","DOI":"10.1016\/0167-6423(86)90004-3"},{"key":"6_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/3-540-52559-9_64","volume-title":"Stepwise Refinement of Distributed Systems","author":"M. Broy","year":"1990","unstructured":"M. Broy: Functional Specification of Time Sensitive Communicating Systems. REX Workshop. In: J. W. de Bakker, W.-P. de Roever, G. Rozenberg (eds): Stepwise Refinement of Distributed Systems. Lecture Notes in Computer Science 430, 153\u2013179"},{"key":"6_CR10","unstructured":"M. Broy: Compositional Refinement of Interactive Systems. Digital Systems Research Center, SRC Report 89, July 1992, To appear in JACM"},{"key":"6_CR11","unstructured":"M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, R. Weber: The Design of Distributed Systems-An Introduction to Focus. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, Sonderforschungsbereich 342: Methoden und Werkzeuge f\u00fcr die Nutzung paralleler Architekturen TUM-I9202, January 1992"},{"key":"6_CR12","unstructured":"M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, R. Weber: Summary of Case Studies in FOCUS-a Design Method for Distributed Systems. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, Sonderforschungsbereich 342: Methoden und Werkzeuge f\u00fcr die Nutzung paralleler Architekturen TUM-I9203, January 1992"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"M. Broy: Interaction Refinement-The Easy Way. In: M. Broy (ed.): Program Design Calculi. Springer NATO ASI Series, Series F: Computer and System Sciences, Vol. 118, 1993","DOI":"10.1007\/978-3-662-02880-3"},{"key":"6_CR14","series-title":"Lecture Notes of Computer Science","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1007\/BFb0014335","volume-title":"Algebraic Methodology and Software Technology","author":"M. Broy","year":"1996","unstructured":"M. Broy: Algebraic Specification of Reactive Systems. M. Nivat, M. Wirsing (eds): Algebraic Methodology and Software Technology. 5th International Conference, AMAST\u2019 96, Lecture Notes of Computer Science 1101, Hidelberg: Springer 1996, 487\u2013503"},{"key":"6_CR15","unstructured":"M. Broy: Towards a Mathematical Concept of a Component and its Use. First Components\u2019 User Conference, Munich 1996. Revised version in: Software-Concepts and Tools 18, 1997, 137\u2013148"},{"key":"6_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/3-540-63010-4_4","volume-title":"Transformation-Based Reactive System Development","author":"M. Broy","year":"1997","unstructured":"M. Broy: Refinement of Time. M. Bertran, Th. Rus (eds.): Transformation-Based Reactive System Development. ARTS\u201997, Mallorca 1997. Lecture Notes in Computer Science 1231, 1997, 44\u201363, To appear in TCS"},{"key":"6_CR17","unstructured":"J. Coenen, W.P. deRoever, J. Zwiers: Assertional Data Reification Proofs: Survey and Perspective. Christian-Albrechts-Universit\u00e4t Kiel, Institut f\u00fcr Informatik und praktische Mathematik, Bericht Nr. 9106, Februar 1991."},{"key":"6_CR18","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"C.A.R. Hoare: Proofs of Correctness of Data Representations. Acta Informatica 1, 1972, 271\u2013281","journal-title":"Acta Informatica"},{"key":"6_CR19","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0890-5401(89)90066-7","volume":"82","author":"N. Lynch","year":"1989","unstructured":"N. Lynch, E. Stark: A Proof of the Kahn Principle for Input\/Output Automata. Information and Computation 82, 1989, 81\u201392","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Compositionality: The Significant Difference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49213-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,5]],"date-time":"2019-05-05T20:14:24Z","timestamp":1557087264000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49213-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540654933","9783540492139"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-49213-5_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}