{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T14:10:46Z","timestamp":1725718246787},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108849"},{"type":"electronic","value":"9783662010891"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/978-3-662-01089-1_11","type":"book-chapter","created":{"date-parts":[[2013,3,4]],"date-time":"2013-03-04T10:08:56Z","timestamp":1362391736000},"page":"88-95","source":"Crossref","is-referenced-by-count":3,"title":["A Proof System for Brinch Hansen\u2019s Distributed Processes"],"prefix":"10.1007","author":[{"given":"M.","family":"Roncken","sequence":"first","affiliation":[]},{"given":"R.","family":"Gerth","sequence":"additional","affiliation":[]},{"given":"W. P.","family":"de Roever","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Apt, K.R., Ten years of Hoare logic, to appear."},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/BF00571463","volume":"2","author":"M Clint","year":"1973","unstructured":"Clint, M., 1973, Program proving: Coroutines, Acta Inf. 2, p. 50\u201363.","journal-title":"Acta Inf"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S Owicki","year":"1976","unstructured":"Owicki, S., D. Gries, 1976, An Axiomatic Proof Technique for Parallel Programs I, Acta Inf. 6, p. 319\u2013340.","journal-title":"Acta Inf"},{"key":"11_CR4","series-title":"Technical Report","volume-title":"A Proof System for Brinch Hansen\u2019s Distributed Processes","author":"M Roncken","year":"1981","unstructured":"Roncken, M., N. van Diepen, M. Kramer, W.P. de Roever, 1981, A Proof System for Brinch Hansen\u2019s Distributed Processes, Technical Report."}],"container-title":["Informatik-Fachberichte","GI \u2014 11. Jahrestagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-01089-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T10:13:03Z","timestamp":1557569583000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-01089-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108849","9783662010891"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-01089-1_11","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1981]]}}}