{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,21]],"date-time":"2023-08-21T12:38:17Z","timestamp":1692621497015},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1990,6,1]],"date-time":"1990-06-01T00:00:00Z","timestamp":644198400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Distrib Comput"],"published-print":{"date-parts":[[1990,6]]},"DOI":"10.1007\/bf01786631","type":"journal-article","created":{"date-parts":[[2005,6,19]],"date-time":"2005-06-19T22:35:42Z","timestamp":1119220542000},"page":"59-68","source":"Crossref","is-referenced-by-count":26,"title":["A theorem on atomicity in distributed algorithms"],"prefix":"10.1007","volume":"4","author":[{"given":"Leslie","family":"Lamport","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"BF01786631_CR1","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B Alpern","year":"1985","unstructured":"Alpern B, Schneider FB: Defining liveness. Inf Process Lett 21 (4):181\u2013185 (1985)","journal-title":"Inf Process Lett"},{"key":"BF01786631_CR2","unstructured":"Dijkstra EW: When messages may crawl. EWD708 (1979)"},{"key":"BF01786631_CR3","unstructured":"Dijkstra EW: When messages may crawl, ii. EWD710 (1979)"},{"key":"BF01786631_CR4","doi-asserted-by":"crossref","unstructured":"Doeppner TW: Parallel program correctness through refinement. In: Fourth Annual ACM Symposium on Principles of Programming Languages, pp 155\u2013169, ACM, January 1977","DOI":"10.1145\/512950.512965"},{"issue":"1","key":"BF01786631_CR5","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1145\/357195.357200","volume":"5","author":"RG Gallager","year":"1983","unstructured":"Gallager RG, Humblet PA, Spira PM: A distributed algorithm for minimum-weight spanning trees. ACM Trans Program Lang Syst 5 (1):66\u201377 (1983)","journal-title":"ACM Trans Program Lang Syst"},{"key":"BF01786631_CR6","unstructured":"Jonsson B: Compositional verification of distributed systems. PhD thesis, Uppsala University (1987)"},{"key":"BF01786631_CR7","unstructured":"Lamport L, Schneider FB: Pretending atomicity. Res Rep 44. Digital Equipment Corporation, Systems Research Center (1989)"},{"issue":"12","key":"BF01786631_CR8","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1145\/361227.361234","volume":"18","author":"RJ Lipton","year":"1975","unstructured":"Lipton RJ: Reduction: a method of proving properties of parallel programs. Commun ACM 18 (12): 717\u2013721 (1975)","journal-title":"Commun ACM"},{"issue":"4","key":"BF01786631_CR9","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S Owicki","year":"1976","unstructured":"Owicki S, Gries D: An axiomatic proof technique for parallel programs. Acta Inf 6(4):319\u2013340 (1976)","journal-title":"Acta Inf"}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01786631.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01786631\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01786631","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,9]],"date-time":"2019-05-09T13:49:29Z","timestamp":1557409769000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01786631"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,6]]},"references-count":9,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1990,6]]}},"alternative-id":["BF01786631"],"URL":"https:\/\/doi.org\/10.1007\/bf01786631","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"value":"0178-2770","type":"print"},{"value":"1432-0452","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,6]]}}}