{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:53:42Z","timestamp":1754488422607},"reference-count":11,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1987,2,1]],"date-time":"1987-02-01T00:00:00Z","timestamp":539136000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":9663,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[1987,2]]},"DOI":"10.1016\/0167-6423(87)90003-7","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T04:09:22Z","timestamp":1027656562000},"page":"43-67","source":"Crossref","is-referenced-by-count":10,"title":["Proof rules for fault tolerant distributed programs"],"prefix":"10.1016","volume":"8","author":[{"given":"Mathai","family":"Joseph","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abha","family":"Moitra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neelam","family":"Soundararajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0167-6423(87)90003-7_BIB1","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1145\/357103.357110","article-title":"A proof system for communicating sequential processes","volume":"2","author":"Apt","year":"1980","journal-title":"ACM TOPLAS"},{"key":"10.1016\/0167-6423(87)90003-7_BIB2","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","article-title":"Communicating sequential processes","volume":"21","author":"Hoare","year":"1978","journal-title":"Comm. ACM"},{"key":"10.1016\/0167-6423(87)90003-7_BIB3_1","article-title":"Fault tolerance in communicating processes","author":"Joseph","year":"1982","journal-title":"Conference Record, 2nd FST & TCS Conference"},{"key":"10.1016\/0167-6423(87)90003-7_BIB3_2","unstructured":"An expanded version of this appears as TR-72, NCSDCT"},{"key":"10.1016\/0167-6423(87)90003-7_BIB4","series-title":"Information Processing 1983","first-page":"481","article-title":"Cooperative recovery from faults in distributed programs","author":"Joseph","year":"1983"},{"key":"10.1016\/0167-6423(87)90003-7_BIB5","first-page":"246","article-title":"Atomic transactions","volume":"105","author":"Lampson","year":"1981"},{"key":"10.1016\/0167-6423(87)90003-7_BIB6","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1145\/322186.322188","article-title":"Reaching agreement in the presence of faults","volume":"27","author":"Pease","year":"1980","journal-title":"J. ACM"},{"key":"10.1016\/0167-6423(87)90003-7_BIB7","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1145\/357369.357371","article-title":"Failstop processors: an approach to designing fault-tolerant computing systems","volume":"1","author":"Schlichting","year":"1983","journal-title":"ACM Trans. Comput. Systems"},{"key":"10.1016\/0167-6423(87)90003-7_BIB8_1","first-page":"135","article-title":"Correctness proofs of CSP programs","author":"Soundararajan","year":"1981","journal-title":"Proc. 1st FST & TCS Conference"},{"key":"10.1016\/0167-6423(87)90003-7_BIB8_2","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/0304-3975(83)90045-2","volume":"24","author":"Soundararajan","year":"1983","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0167-6423(87)90003-7_BIB9","unstructured":"N. Soundararajan and O.J. Dahl, Partial correctness semantics of CSP, BIT, to appear."}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167642387900037?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167642387900037?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T17:50:42Z","timestamp":1555091442000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0167642387900037"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,2]]},"references-count":11,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1987,2]]}},"alternative-id":["0167642387900037"],"URL":"https:\/\/doi.org\/10.1016\/0167-6423(87)90003-7","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[1987,2]]}}}