{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:26Z","timestamp":1725663026350},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540114901"},{"type":"electronic","value":"9783540391760"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/3-540-11490-4_14","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:41:50Z","timestamp":1330191710000},"page":"137-180","source":"Crossref","is-referenced-by-count":0,"title":["Partial correctness of distributed programs"],"prefix":"10.1007","author":[{"given":"D.","family":"Coleman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. M.","family":"Gallimore","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"issue":"3","key":"14_CR1","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/357103.357110","volume":"2","author":"K. R. Apt","year":"1980","unstructured":"APT, K.R. FRANCEZ, N. and de ROEVER, W. A Proof System for Communicating Sequential Processes, ACM Transactions on Programming Languages and Systems, vol 2, No 3, July 1980, Page 359\u2013385.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"14_CR2","unstructured":"GALLIMORE, R.M. and COLEMAN, D. Specification of Distributed Programs, these Proceedings."},{"issue":"8","key":"14_CR3","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. R. Hoare","year":"1978","unstructured":"HOARE, C.A.R. Communicating Sequential Processes, Communications of the ACM 21, 8, 666\u20136777 (1978).","journal-title":"Communications of the ACM"},{"key":"14_CR4","first-page":"993","volume-title":"Coroutines and Networks of Parallel Processes","author":"G. Kahn","year":"1977","unstructured":"KAHN, G. and MacQUEEN, D.B. Coroutines and Networks of Parallel Processes, Proc. IFIP Congress, 1977, North-Holland, Amsterdam 1977, pp 993\u2013998."},{"key":"14_CR5","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/BF00289266","volume":"15","author":"G. M. Levin","year":"1981","unstructured":"LEVIN, G.M. and GRIES, D. A Proof Technique for Communicating Sequential Processes, Acta Informatica 15, 281\u2013302 (1981)","journal-title":"Acta Informatica"},{"issue":"5","key":"14_CR6","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1145\/360051.360224","volume":"19","author":"S. S. Owicki","year":"1976","unstructured":"OWICKI, S.S., and GRIES, D. Verifying Properties of Parallel Programs: An Axiomatic Approach, Communications of the ACM, 19, 5 (May 1976), 279\u2013285.","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","Program Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-11490-4_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:42:52Z","timestamp":1619556172000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-11490-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540114901","9783540391760"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-11490-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1982]]}}}