{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:09Z","timestamp":1725664689807},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609735"},{"type":"electronic","value":"9783540497493"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60973-3_110","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:09:01Z","timestamp":1330290541000},"page":"609-628","source":"Crossref","is-referenced-by-count":0,"title":["A strategic approach to transformational design"],"prefix":"10.1007","author":[{"given":"J\u00fcrgen","family":"Bohn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wil","family":"Janssen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"R. Back. Refinement calculus, Part II: Parallel and Reactive Programs. In de Bakker, de Roever, and Rozenberg, editors, Stepwise Refinement of Distributed Systems, LNCS 430, pages 67\u201393. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52559-9_61"},{"key":"34_CR2","first-page":"17","volume":"12","author":"R. Back","year":"1991","unstructured":"R. Back and K. Sere. Stepwise refinement of action systems. Structured Programming 12:17\u201330, 1991.","journal-title":"Structured Programming"},{"key":"34_CR3","unstructured":"P. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987."},{"key":"34_CR4","unstructured":"J. Bohn and W. Janssen. From a single specification to many implementations \u2014 many roads lead to parallelism. Technical report, University of Oldenburg, 1995. Available at ftp:\/\/ftp.Informatik.uni-oldenburg.de\/pub\/procos\/."},{"key":"34_CR5","doi-asserted-by":"crossref","unstructured":"J. Bohn and S. R\u00f6ssig. On automatic and interactive design of communicating systems. In E. Brinksma, W. Cleaveland, K.G. Larsen, T. Margaria, and B. Steffen, editors, Proceedings of the First TACAS workshop, LNCS 1019, pages 216\u2013247. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60630-0_11"},{"key":"34_CR6","doi-asserted-by":"crossref","unstructured":"R. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"34_CR7","doi-asserted-by":"crossref","unstructured":"C. Chou and E. Gafni. Understanding and verifying distributed algorithms using stratified decomposition. In Proceeding 7th ACM Symposium on Principles of Distributed Computing, 1988.","DOI":"10.1145\/62546.62556"},{"key":"34_CR8","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0167-6423(83)90013-8","volume":"2","author":"T. Elrad","year":"1982","unstructured":"T. Elrad and N. Francez. Decomposition of distributed programs into communication closed layers. Science of Computer Programming, 2:155\u2013173, 1982.","journal-title":"Science of Computer Programming"},{"key":"34_CR9","first-page":"128","volume":"50","author":"J. P. Bowen","year":"1993","unstructured":"J. P. Bowen et al. A ProCoS II project description: ESPRIT Basic Research project 7071. Bulletin of the EATCS, 50:128\u2013137, 1993.","journal-title":"Bulletin of the EATCS"},{"key":"34_CR10","unstructured":"C. Fischer. Transformation von synchronen SL-Specifikationen von Telekommunikationssytemen in asynchrone SL-Specifikationen. Master's thesis, University of Oldenburg, 1995. In German."},{"key":"34_CR11","doi-asserted-by":"crossref","unstructured":"R. Gerth, R. Kuiper, and J. Segers. Interface refinement in reactive systems. In Proceedings CONCUR '92, LNCS 630, pages 77\u201394. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0084784"},{"key":"34_CR12","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"34_CR13","unstructured":"W. Janssen. Layered Design of Parallel Systems. PhD thesis, University of Twente, 1994."},{"key":"34_CR14","doi-asserted-by":"crossref","unstructured":"W. Janssen, M. Poel, and J. Zwiers. Action systems and action refinement in the development of parallel systems. In Proceedings of CONCUR '91, LNCS 527, pages 298\u2013316. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54430-5_96"},{"issue":"3","key":"34_CR15","first-page":"872","volume":"16","author":"L. Lamport","year":"1994","unstructured":"L. Lamport. The Temporal Logic of Actions. ACMTOPLAS, 16(3):872\u2013923, 1994.","journal-title":"ACMTOPLAS"},{"key":"34_CR16","doi-asserted-by":"crossref","unstructured":"C. Lengauer. Loop parallelization in the polytope model (invited talk). In Eike Best, editor, Proceedings CONCUR '93, LNCS 715, pages 398\u2013416. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57208-2_28"},{"key":"34_CR17","doi-asserted-by":"crossref","unstructured":"E.-R. Olderog. Towards a design calculus for communicating programs (invited paper). In Proceedings of CONCUR '91, LNCS 527, pages 61\u201377. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54430-5_81"},{"key":"34_CR18","doi-asserted-by":"crossref","unstructured":"E.-R. Olderog and S. R\u00f6ssig. A case study in transformational design of concurrent systems. In M.-C. Gaudel and J.-P. Jouannaud, editors, TAPSOFT '93, LNCS 668, pages 90\u2013104. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56610-4_58"},{"key":"34_CR19","unstructured":"E.-R. Olderog, S. R\u00f6ssig, J. Sander, and M. Schenke. ProCoS at Oldenburg: The interface between specification language and occam-like programming language. Berichte aus dem Fachbereich Informatik 3, University of Oldenburg, 1992."},{"key":"34_CR20","unstructured":"S. R\u00f6ssig. A Transformational Approach to the Design of Communicating Systems. PhD thesis, University of Oldenburg, 1994."},{"key":"34_CR21","unstructured":"J. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 1989."},{"key":"34_CR22","unstructured":"B. Steffen, T. Margaria, and A. Cla\u00dfen. Heterogeneous analysis and verification for distributed systems. Technical Report MIP-9509, University of Passau, 1995."},{"key":"34_CR23","doi-asserted-by":"crossref","unstructured":"F. Stomp. A derivation of a broadcasting protocol using sequentially phased reasoning (extended abstract). In L. Logrippo, R. Probert, and H. Ural, editors, Proceedings 10th IFIP symp. on Protocol Specification, Testing and Verification, pages 19\u201332. Elsevier Science Publishers, 1990.","DOI":"10.1007\/3-540-52559-9_84"},{"key":"34_CR24","unstructured":"F. Stomp and M. Siegel. Extending the limits of sequentially phased reasoning. In P. Thiagarajan, editor, Proceedings FST & TCS 14, LNCS 880. Springer-Verlag, 1994."}],"container-title":["Lecture Notes in Computer Science","FME'96: Industrial Benefit and Advances in Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60973-3_110.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T10:13:49Z","timestamp":1640945629000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60973-3_110"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609735","9783540497493"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-60973-3_110","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}