{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T22:45:19Z","timestamp":1774046719552,"version":"3.50.1"},"reference-count":3,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1982,6,1]],"date-time":"1982-06-01T00:00:00Z","timestamp":391737600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1982,6]]},"DOI":"10.1007\/bf00288966","type":"journal-article","created":{"date-parts":[[2004,10,4]],"date-time":"2004-10-04T13:45:25Z","timestamp":1096897525000},"page":"135-141","source":"Crossref","is-referenced-by-count":51,"title":["Arbitration without common modifiable variables"],"prefix":"10.1007","volume":"17","author":[{"given":"J. L. W.","family":"Kessels","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","first-page":"43","volume-title":"Programming Languages","author":"E.W. Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: Co-operating sequential processes. In: Programming Languages pp. 43?112. (F. Genuysed) Academic Press, New York 1968"},{"key":"CR2","unstructured":"Dijkstra, E.W.: An assertional proof of a program. G.L. Peterson, EWD 779 (1981)"},{"issue":"4","key":"CR3","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0020-0190(81)90106-X","volume":"12","author":"G.L. Peterson","year":"1981","unstructured":"Peterson, G.L.: Myths about the mutual exclusion problem. Information Processing Letters 12, 4, 115?116 (1981)","journal-title":"Information Processing Letters"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00288966.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00288966\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00288966","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T17:14:34Z","timestamp":1554743674000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00288966"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,6]]},"references-count":3,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1982,6]]}},"alternative-id":["BF00288966"],"URL":"https:\/\/doi.org\/10.1007\/bf00288966","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1982,6]]}}}