{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:32:36Z","timestamp":1742635956184},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540512851"},{"type":"electronic","value":"9783540461845"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51285-3_42","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:51:40Z","timestamp":1330203100000},"page":"199-216","source":"Crossref","is-referenced-by-count":47,"title":["A method for refining atomicity in parallel algorithms"],"prefix":"10.1007","author":[{"given":"R. J. R.","family":"Back","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"14_CR1","unstructured":"Back, R.J.R., On the correctness of refinement steps in program development (Ph.D. thesis), Report A-1978-4, Dept. of Computer Science, University of Helsiniki, 1978."},{"key":"14_CR2","volume-title":"Correctness Preserving Program Refinements: Proof Theory and Applications","author":"R.J.R. Back","year":"1980","unstructured":"Back, R.J.R., Correctness Preserving Program Refinements: Proof Theory and Applications, Mathematical Center Tracts 131, Mathematical Centre, Amsterdam 1980."},{"issue":"6","key":"14_CR3","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1007\/BF00291051","volume":"25","author":"R.J.R. Back","year":"1988","unstructured":"R.J.R. Back, A Calculus of Refinements for Program Derivations, Acta Informatica vol. 25, no 6, 1988, 593\u2013624.","journal-title":"Acta Informatica"},{"key":"14_CR4","unstructured":"Back, R.J.R., Procedural abstraction in the refinement calculus, Reports on Computer Science and Mathematics 55, Abo Akademi 1987."},{"key":"14_CR5","unstructured":"Back,R.J.R., Refining atomicity in parallel programs, Reports on Computer Science and Mathematics 57, Abo Akademi 1988."},{"key":"14_CR6","unstructured":"Back, R.J.R., E. Hartikainen and R. Kurki-Suonio, Multi-process handshaking on broadcasting networks. Reports on Computer Science and Mathematics 42, Abo Akademi 1985."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"R.J.R. Back and R. Kurki-Suonio, Decentralization of Process Nets with Centralized Control, 2nd ACM Symp. on PODC, Montreal, Canada, 1983, 131\u2013142 (to appear in Distributed Computing).","DOI":"10.1145\/800221.806716"},{"key":"14_CR8","unstructured":"Back, R.J.R. and R. Kurki-Suonio: A case study in constructing distributed algorithms: distributed exchange sort. In Proc. Winter School on Theoretical Computer Science, Lammi 1984, Finnish Society for Information Processing, 1\u201333."},{"key":"14_CR9","unstructured":"Back, R.J.R., and R. Kurki-Suonio, Co-operation in distributed systems using symmetric multi-process handshaking. Reports on Computer Science and Mathematics 34, Abo Akademi 1984."},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Back, R.J.R. and R. Kurki-Suonio, Serializability in distributed systems with handshaking, 15th ICALP, LNCS 317, Springer-Verlag 1988, 52\u201366.","DOI":"10.1007\/3-540-19488-6_106"},{"issue":"4","key":"14_CR11","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1145\/48022.48023","volume":"10","author":"R.J.R. Back","year":"1988","unstructured":"Back, R.J.R. and R. Kurki-Suonio, Distributed co-operation with action systems, ACM TOPLAS vol. 10, no. 4, 1988, 513\u2013554.","journal-title":"ACM TOPLAS"},{"key":"14_CR12","unstructured":"R.J.R. Back and K. Sere, Stepwise refinement of parallel algorithms, Reports on Computer Science and Mathematics 64, \u00c5bo Akademi 1988."},{"key":"14_CR13","unstructured":"R.J.R. Back and K. Sere, Implementing action systems in occam (in preparation)."},{"issue":"3","key":"14_CR14","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1145\/5956.5958","volume":"8","author":"M. Chandy","year":"1866","unstructured":"Chandy, M. and J. Misra, An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection, ACM TOPLAS, Vol 8, No 3 (July 1866), 326\u2013343.","journal-title":"ACM TOPLAS"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Chandy, M. and J. Misra, A Foundation Of Parallel Program Design, Addison-Wesley 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"14_CR16","unstructured":"Dijkstra, E.W., A Discipline of Programming, Prentice-Hall, 1985."},{"key":"14_CR17","unstructured":"Dijkstra, E.W., When messages may crawl, EWD 708, EWD 710, 1979."},{"key":"14_CR18","unstructured":"M. Evengelist, V.Y. Shen, I. Forman and M. Graf, Using Raddle to Design Distributed Systems, MCC Technical Report STP-285-87, September 1987."},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Francez, N., Fairness. Springer-Verlag, 1986.","DOI":"10.1007\/978-1-4612-4886-6"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Kurki-Suonio, R. and T. Kankaanpaa, On the design of reactive systems, BIT 1988.","DOI":"10.1007\/BF01941136"},{"key":"14_CR21","unstructured":"Lamport, L., Atomicity in distributed algorithms, manuscript 1987."},{"key":"14_CR22","unstructured":"Lamport, L. and F. Schneider, Pretending atomicity, manuscript 1987."},{"issue":"12","key":"14_CR23","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1145\/361227.361234","volume":"18","author":"R.J. Lipton","year":"1975","unstructured":"Lipton, R.J., Reduction: a method of proving properties of parallel programs, Comm. ACM, Vol. 18, No. 12 (December 1975) 717\u2013721.","journal-title":"Comm. ACM"},{"issue":"3","key":"14_CR24","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1145\/44501.44503","volume":"10","author":"C. Morgan","year":"1988","unstructured":"Morgan, C.: The specification statement. ACM TOPLAS vol. 10, no. 3, 1988, 403\u2013419.","journal-title":"ACM TOPLAS"},{"key":"14_CR25","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/0167-6423(87)90011-6","volume":"9","author":"J. Morris","year":"1987","unstructured":"Morris, J., A Theoretical Basis for Stepwise Refinement and the Programming Calculus, Science of Programming, 9 (1987), 287\u2013306.","journal-title":"Science of Programming"},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends. In Current Trends in Concurrency, Springer LNCS 224, 1986.","DOI":"10.1007\/BFb0027047"}],"container-title":["Lecture Notes in Computer Science","PARLE '89 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51285-3_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:20:42Z","timestamp":1605648042000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51285-3_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540512851","9783540461845"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-51285-3_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}