{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:20:13Z","timestamp":1725711613511},"publisher-location":"London","reference-count":15,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197522"},{"type":"electronic","value":"9781447135500"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3550-0_18","type":"book-chapter","created":{"date-parts":[[2013,1,6]],"date-time":"2013-01-06T02:45:38Z","timestamp":1357440338000},"page":"342-366","source":"Crossref","is-referenced-by-count":2,"title":["A Note on Compositional Refinement"],"prefix":"10.1007","author":[{"given":"J.","family":"Zwiers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Coenen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.-P.","family":"de Roever","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Boug\u00e9 L & Francez N. A Compositional Approach to Superimposilion. Proc. of the 15th Symp. on Principles of Programming Languages, pp. 240\u2013249, 1988.","DOI":"10.1145\/73560.73581"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Back RJR & von Wright J. A Lattice-theoretical Basis for a Specification Language. Proc. of the conf. on Mathematics of Program Construction, LNCS 375, van de Snepscheut (Ed.) Springer 1989.","DOI":"10.1007\/3-540-51305-1_8"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"KM Chandy","year":"1985","unstructured":"Chandy KM & Lamport L. Distributed Snapshots: DeterminingGlobal States of Distributed Systems. ACM Transactions on Computer Systems 3(1):63\u201375, 1985.","journal-title":"ACM Transactions on Computer Systems"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Coenen J, de Roever WP & Zwiers J. Assertional Data Reification Proofs: Survey and Perspective. Proc. of the 4th BCS-FACS Refinement Workshop, Workshops in Computing, pp. 97\u2013114, Springer-Verlag 1991.","DOI":"10.1007\/978-1-4471-3756-6_5"},{"key":"18_CR5","unstructured":"Dijkstra E.W. The Distributed Snapshot of K.M. Chandy and L. Lamport. EWD864a."},{"key":"18_CR6","unstructured":"Hoare C.A.R. Programs are predicates. in Mathematical Logic and Programming Languages, Hoare and Shepherdson(eds ), Prentice-Hall, 1985."},{"key":"18_CR7","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0020-0190(87)90106-2","volume":"24","author":"CR Hoare","year":"1987","unstructured":"Hoare CAR & He J. The Weakest Prespecification. Information Processing Letters 24:127\u2013132, 1987.","journal-title":"Information Processing Letters"},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0020-0190(87)90224-9","volume":"25","author":"CR Hoare","year":"1987","unstructured":"Hoare CAR, He J & Sanders JW. Prespecification in Data Refinement. Information Processing Letters 25: 71\u201376, 1987.","journal-title":"Information Processing Letters"},{"key":"18_CR9","unstructured":"Jones CB. Systematic Software Development using VDM. PrenticeHall 1990 (2nd edition)."},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Katz S & Perry JP. Self-Stabilizing Extensions for Message-passing Systems. Proc. of the 9th Symp. on Principles of Distributed Computing, pp. 91\u2013101, 1990.","DOI":"10.1145\/93385.93405"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Milner R. A Calculus of Communicating Systems. LNCS 92, Springer-Verlag 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"18_CR12","unstructured":"Reynolds JC. The Craft of Programming. Prentice-Hall 1981."},{"key":"18_CR13","unstructured":"Zwiers J. Conapositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and their Relationship. LNCS 321, Springer-Verlag 1989."},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Zwiers J. Refining Data to Processes. Proc. of VDM \u201880, LNCS 428, pp. 352\u2013369, Springer-Verlag 1990.","DOI":"10.1007\/3-540-52513-0_19"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Zwiers J & de Roever WP. Predicates are Predicate Transformers: a Unified Compositional Theory for Concurrency. Proc. of the 8th Symp. on Principles of Distributed Computing, pp. 265\u2013279, 1989.","DOI":"10.1145\/72981.73000"}],"container-title":["Workshops in Computing","5th Refinement Workshop"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3550-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T04:57:18Z","timestamp":1557464238000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3550-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197522","9781447135500"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3550-0_18","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}