{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:54:45Z","timestamp":1725612885887},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1974,10]]},"DOI":"10.1109\/swat.1974.2","type":"proceedings-article","created":{"date-parts":[[2008,7,31]],"date-time":"2008-07-31T11:54:08Z","timestamp":1217505248000},"page":"145-155","source":"Crossref","is-referenced-by-count":11,"title":["A comparative study of models of parallel computation"],"prefix":"10.1109","author":[{"given":"R. J.","family":"Lipton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Snyder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Y.","family":"Zalcstein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"unpublished note","year":"0","author":"dijkstra","key":"ref10"},{"journal-title":"Multiprocessors semaphores and a graph model of computation","year":"1972","author":"cerf","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SWAT.1970.13"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(69)80011-5"},{"journal-title":"Schriften des Reinish Westfalischen Inst Instrumentelle Mathematik","year":"1962","author":"petri","key":"ref14"},{"key":"ref15","article-title":"Events and conditions","author":"holt","year":"1970","journal-title":"Record of Project MAC Conference on Concurrent Systems and Parallel Computation"},{"journal-title":"Still another system for controlling cooperating algorithms","year":"1972","author":"wodon","key":"ref16"},{"year":"0","key":"ref17"},{"year":"0","key":"ref18"},{"journal-title":"Traffic control in a multiplexed computer system","year":"1966","author":"saltzer","key":"ref19"},{"journal-title":"Limitations of Dijkstra's Semaphore Primitives and Petri Nets","year":"1973","author":"kosaraju","key":"ref4"},{"journal-title":"Limitations and Capabilities of Dijkstra's Semaphore Primitives for Coordination Among Processes","year":"0","author":"patil","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/800119.803900"},{"journal-title":"On Synchronization Primitive Systems","year":"1973","author":"lipton","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(72)90035-X"},{"key":"ref7","first-page":"43","author":"dijkstra","year":"0","journal-title":"Cooperating sequential processes Programming Languages"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/360924.360941"},{"journal-title":"Modelling of Parallel Systems","year":"1973","author":"peterson","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/365230.365252"}],"event":{"name":"15th Annual Symposium on Switching and Automata Theory (swat 1974)","start":{"date-parts":[[1974,10,14]]},"location":"USA","end":{"date-parts":[[1974,10,16]]}},"container-title":["15th Annual Symposium on Switching and Automata Theory (swat 1974)"],"original-title":[],"link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/4569747\/4569748\/04569770.pdf?arnumber=4569770","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T10:59:27Z","timestamp":1489661967000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/4569770\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1974,10]]},"references-count":19,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1109\/swat.1974.2","relation":{},"subject":[],"published":{"date-parts":[[1974,10]]}}}