{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T18:38:39Z","timestamp":1648924719107},"reference-count":16,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1979,6,1]],"date-time":"1979-06-01T00:00:00Z","timestamp":297043200000},"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":12465,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[1979,6]]},"DOI":"10.1016\/0304-3975(79)90018-5","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T04:17:21Z","timestamp":1027657041000},"page":"379-391","source":"Crossref","is-referenced-by-count":0,"title":["Commutation properties and generating sets characterize slices of various synchronization primitives"],"prefix":"10.1016","volume":"8","author":[{"given":"Danny","family":"Dolev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0304-3975(79)90018-5_BIB1","series-title":"Technical Report 7609\/1","article-title":"Abstract characterization of slices of various synchronization primitives","author":"Dolev","year":"1976"},{"key":"10.1016\/0304-3975(79)90018-5_BIB2","article-title":"Local Characterization of models of synchronization primitives","author":"Dolev","year":"1977","journal-title":"Proc. the Waterloo Conf. on Theoretical Computer Science"},{"issue":"1","key":"10.1016\/0304-3975(79)90018-5_BIB3","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0020-0190(78)90029-7","article-title":"Commutation relations of slices characterize some synchronization primitives","volume":"7","author":"Dolev","year":"1978","journal-title":"Information Processing Lett."},{"key":"10.1016\/0304-3975(79)90018-5_BIB4","series-title":"Ph.D. Thesis","article-title":"Multiprocessors, semaphores and a graph model of computation","author":"Cerf","year":"1972"},{"key":"10.1016\/0304-3975(79)90018-5_BIB5","article-title":"Decision problems for Petri nets and vector additional systems","author":"Hack","year":"1975","journal-title":"MAC Technical Memo 59"},{"key":"10.1016\/0304-3975(79)90018-5_BIB6","article-title":"Characterization of the synchronization languages for PV systems","author":"Henderson","year":"1976","journal-title":"Conf. Rec. of Seventeenth FOCS Ann. Symp."},{"key":"10.1016\/0304-3975(79)90018-5_BIB7","doi-asserted-by":"crossref","unstructured":"P.B. Henderson and Y. Zalcstein, Synchronization problems solvable by generalized PV systems, JACM. (To appear.)","DOI":"10.1145\/322169.322175"},{"key":"10.1016\/0304-3975(79)90018-5_BIB8","article-title":"Events and conditions","author":"Holt","year":"1970","journal-title":"Rec. of Project MAC Conf. on Concurrent Systems and Parallel Computation"},{"key":"10.1016\/0304-3975(79)90018-5_BIB9","article-title":"Parallel program schemata","volume":"3","author":"Karp","year":"1969","journal-title":"JCSS"},{"key":"10.1016\/0304-3975(79)90018-5_BIB10","series-title":"Technical Report 117","article-title":"Vector replacement systems: A formalism for modeling asynchronous systems","author":"Miller","year":"1972"},{"key":"10.1016\/0304-3975(79)90018-5_BIB11","article-title":"On synchronization primitive systems","volume":"22","author":"Lipton","year":"1973","journal-title":"Yale Computer Science Research Report"},{"key":"10.1016\/0304-3975(79)90018-5_BIB12","doi-asserted-by":"crossref","DOI":"10.1145\/800119.803900","article-title":"Limitations of synchronization primitives with conditional branching and global variables","author":"Lipton","year":"1974","journal-title":"Proc. Sixth ACM SIGACT Symp. on Theory of Computing"},{"issue":"12","key":"10.1016\/0304-3975(79)90018-5_BIB13","doi-asserted-by":"crossref","DOI":"10.1145\/361227.361234","article-title":"Reduction: A method of proving properties of parallel programs","volume":"18","author":"Lipton","year":"1975","journal-title":"CACM"},{"key":"10.1016\/0304-3975(79)90018-5_BIB14","article-title":"A comparative study of models of parallel computation","author":"Lipton","year":"1974","journal-title":"Conf. Rec. of Fifteenth Ann. IEEE SWAP Symp."},{"key":"10.1016\/0304-3975(79)90018-5_BIB15","article-title":"Limitation and capabilities of Dijkstra's semaphore primitives for coordination among processes","volume":"57","author":"Patil","year":"1971","journal-title":"Project MAC Computational Structure Group Memo"},{"key":"10.1016\/0304-3975(79)90018-5_BIB16","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0020-0190(72)90035-X","article-title":"On an extension of Dijkstra's semaphore primitives","volume":"1","author":"Vantiborgh","year":"1972","journal-title":"Information Processing Lett."}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0304397579900185?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0304397579900185?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T13:54:37Z","timestamp":1555077277000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0304397579900185"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979,6]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1979,6]]}},"alternative-id":["0304397579900185"],"URL":"https:\/\/doi.org\/10.1016\/0304-3975(79)90018-5","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[1979,6]]}}}