{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:51Z","timestamp":1725663651763},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544302"},{"type":"electronic","value":"9783540383574"}],"license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54430-5_90","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:47:59Z","timestamp":1330210079000},"page":"203-219","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Synchrony loosening transformations for interacting processes"],"prefix":"10.1007","author":[{"given":"Nissim","family":"Francez","sequence":"first","affiliation":[]},{"given":"Ira R.","family":"Forman","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"issue":"4","key":"16_CR1","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1145\/357146.357150","volume":"3","author":"R. A. Krzysztof","year":"1981","unstructured":"Krzysztof R. Apt. Ten years of Hoare's logic: A survey \u2014 part i. ACM Transactions on Programming Languages and Systems, 3(4):431\u2013483, October 1981.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR2","unstructured":"Paul C. Attie. A guide to raddle87 semantics. Technical Report STP-340-87, MCC, January 11 1988."},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Paul C. Attie, Nissim Francez, and Orna Grumberg. Fairness and hyperfairness in multi-party interactions. In 17th ACM-POPL, pages 292\u2013305, San-Francisco, CA, January 17\u201319 1990.","DOI":"10.1145\/96709.96739"},{"key":"16_CR4","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1007\/BF00291051","volume":"25","author":"R. R. Back","year":"1988","unstructured":"Ralph-J. R. Back. A calculus of refinement for program derivation. Acta Informatica, 25:593\u2013624, 1988.","journal-title":"Acta Informatica"},{"key":"16_CR5","unstructured":"Ralph-J. R. Back. Changing the data representation in the refinement calculus. In 21 Hawaii International Conference on Systems Science, January 1989."},{"key":"16_CR6","unstructured":"Ralph-J. R. Back. Refining atomicity in parallel programs. In PARLE conference on parallel architectures and languages in Europe, Eindhoven, The Netherlands, June 1989. LNCS 366, Springer-Verlag."},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Ralph-J. R. Back. Refinement calculus, part II: Parallel and reactive systems. In REX workshop on refinements of distributed systems, pages 67\u201393. LNCS 430, Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52559-9_61"},{"issue":"4","key":"16_CR8","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1145\/48022.48023","volume":"10","author":"R. R. Back","year":"1988","unstructured":"Ralph-J. R. Back and Reino Kurki-Suonio. Distributed cooperation with action systems. TOPLAS, 10(4):513\u2013554, October 1988.","journal-title":"TOPLAS"},{"key":"16_CR9","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/BF01558665","volume":"3","author":"R. R. Back","year":"1989","unstructured":"Ralph-J. R. Back and Reino Kurki-Suonio. Decentralization of process nets with centralized control. Distributed Computing, 3:73\u201387, 1989.","journal-title":"Distributed Computing"},{"key":"16_CR10","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0167-6423(90)90069-P","volume":"13","author":"R. R. Back","year":"1989","unstructured":"Ralph-J. R. Back and Kaisa Sere. Refinement of action systems. Science of Computer Programming, 13:133\u2013180, 1989\/90. Preliminary form in Mathematics in program construction, LNCS 375, Springer-Verlag.","journal-title":"Science of Computer Programming"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"K. Mani Chandy and Jayadev Misra. Parallel program design: A foundation. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"issue":"5","key":"16_CR12","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1145\/359104.359108","volume":"122","author":"E. Chang","year":"1979","unstructured":"E. Chang and R. Roberts. An improved algorithm for decentralized extrema finding in circular configuration of processes. Communications of the ACM, 122(5):281\u2013283, May 1979.","journal-title":"Communications of the ACM"},{"key":"16_CR13","first-page":"155","volume":"2","author":"T. Elrad","year":"1982","unstructured":"Tzilla Elrad and Nissim Francez. Decomposition of distributed programs into communication-closed layers. SCP, 2:155\u2013173, 1982.","journal-title":"SCP"},{"issue":"3","key":"16_CR14","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0304-3975(84)90001-X","volume":"29","author":"T. Elrad","year":"1984","unstructured":"Tzilla Elrad and Nissim Francez. Weakest precondition semantics for communicating processes. TCS, 29(3):231\u2013250, April 1984.","journal-title":"TCS"},{"key":"16_CR15","unstructured":"Ira R. Forman. On the design of large distributed systems. In First international conference on computer languages, pages 84\u201395, October 1987."},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Ira R. Forman. Design by decomposition of multiparty interactions in raddle87. In Fifth International Workshop on Software Specification and Design, pages 2\u201310, Pittsburgh, Pa., May 19\u201320 1989.","DOI":"10.1145\/75200.75201"},{"key":"16_CR17","series-title":"Technical Report","volume-title":"Leader election: An exercise in Raddle design","author":"I. R. Forman","year":"1988","unstructured":"Ira R. Forman. Leader election: An exercise in Raddle design. Technical Report STP-270-87, MCC, Austin, TX, September 9, 1988."},{"key":"16_CR18","unstructured":"Ira R. Forman and W. Michael Evangelist. Eft: A case study in design using raddle. Technical Report STP-121-87, Microelectronics and Computer Technology Corp., April 1987."},{"key":"16_CR19","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0020-0190(89)90049-5","volume":"32","author":"N. Francez","year":"1989","unstructured":"Nissim Francez. Cooperative proofs for distributed programs with multi-party interactions. IPL, 32:235\u2013242, September 22 1989.","journal-title":"IPL"},{"key":"16_CR20","unstructured":"Nissim Francez and Ira R. Forman. Conflict propagation. In IEEE International Conference on Computer Languages (ICCL'90), pages 155\u2013168, New Orleans, LA, March 12\u201315 1990."},{"key":"16_CR21","unstructured":"Nissim Francez and Ira R. Forman. Interacting Processes: A Multiparty Approach to Coordinated Distributed Programming. Forthcoming book, 1990."},{"key":"16_CR22","unstructured":"Nissim Francez and Ira R. Forman. Superimposition for interacting processes. In Proc. Concur'90: Theories of concurrency \u2014 unification and extension, Amsterdam, The Netherlands, August 27\u201330 1990."},{"issue":"19","key":"16_CR23","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. Proof of correctness of data representations. Acta Informatica, 1(19):271\u2013281, 1972.","journal-title":"Acta Informatica"},{"key":"16_CR24","unstructured":"Shmuel M. Katz, Ira R. Forman, and W. Michael Evangelist. Language constructs for distributed systems. In IFIP TC2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, April 2\u20135 1990."},{"key":"16_CR25","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/BF00289266","volume":"15","author":"G. Levin","year":"1981","unstructured":"Gary Levin and David Gries. Proof techniques for communicating sequential processes. Acta Informatica, 15:281\u2013302, 1981.","journal-title":"Acta Informatica"},{"issue":"12","key":"16_CR26","doi-asserted-by":"crossref","first-page":"1515","DOI":"10.1109\/12.9730","volume":"37","author":"M. Staskauskas","year":"1988","unstructured":"M. Staskauskas. The formal specification and design of a distributed electronic funds-transfer system. IEEE Trans. on Computers, 37(12):1515\u20131528, December 1988.","journal-title":"IEEE Trans. on Computers"}],"container-title":["Lecture Notes in Computer Science","CONCUR '91"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54430-5_90","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:36:31Z","timestamp":1558269391000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54430-5_90"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544302","9783540383574"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-54430-5_90","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]},"assertion":[{"value":"4 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}