{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:11Z","timestamp":1725663131588},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540116042"},{"type":"electronic","value":"9783540394242"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/3-540-11604-4_45","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:46:27Z","timestamp":1330191987000},"page":"1-22","source":"Crossref","is-referenced-by-count":0,"title":["Synchronization mechanisms for parallel processing"],"prefix":"10.1007","author":[{"given":"Nobuo","family":"Saito","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"11","key":"1_CR1","doi-asserted-by":"crossref","first-page":"934","DOI":"10.1145\/359642.359651","volume":"21","author":"P. Brinch Hansen","year":"1978","unstructured":"Brinch Hansen, Per (1978). Distributed Processes: A Concurrent Programming Concept, CACM, Vol. 21, No.11, Nov. 1978, pp.934\u2013941","journal-title":"CACM"},{"key":"1_CR2","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BFb0029355","volume":"16","author":"R. H. Campbell","year":"1974","unstructured":"Campbell, R. H. and Habermann, A. N. (1974). The Specification of Process Synchronization by Path Expressions, Lecture Notes in Computer Science, Vol.16, Springer Verlag, 1974, pp.89\u2013102","journal-title":"Lecture Notes in Computer Science"},{"issue":"10","key":"1_CR3","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1145\/362759.362813","volume":"14","author":"P. J. Courtois","year":"1971","unstructured":"Courtois, P. J., Heymans, F. and Parnas, D. L. (1971). Concurrent Control with \u201dReaders\u201d and \u201dWriters\u201d, CACM, Vol.14, No.10, Oct. 1971, pp.667\u2013668","journal-title":"CACM"},{"key":"1_CR4","first-page":"43","volume-title":"Programming Languages","author":"E. W. Dijkstra","year":"1968","unstructured":"Dijkstra, E. W. (1968). Cooperating Sequential Processes, Programming Languages (ed. Genuys, F.), Academic Press, New York, 1968, pp.43\u2013112"},{"issue":"3","key":"1_CR5","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1145\/361268.361277","volume":"15","author":"A. N. Habermann","year":"1972","unstructured":"Habermann, A. N. (1972). Synchronization of Communicating Sequential Processes, CACM, Vol.15, No.3, March 1972, pp.171\u2013176","journal-title":"CACM"},{"key":"1_CR6","first-page":"407","volume":"50","author":"K. Hirose","year":"1981","unstructured":"Hirose, K. Saito, N. Doi, N. et al. (1981). Specification Technique for Parallel Processing: Process-Data Representation, AFIPS Conference Proceedings NCC, Vol.50, May 1981, pp.407\u2013413","journal-title":"AFIPS Conference Proceedings NCC"},{"key":"1_CR7","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"Hoare, C.A.R. (1972). Proof of Correctness of Data Representations, Acta Informatica, Vol. 1, 1972, pp.271\u2013281","journal-title":"Acta Informatica"},{"issue":"10","key":"1_CR8","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C.A.R. Hoare","year":"1974","unstructured":"Hoare, C.A.R. (1974). Monitors: An Operating System Structuring Concept, CACM, Vol.17, No.10, Oct. 1974, pp.549\u2013557","journal-title":"CACM"},{"issue":"8","key":"1_CR9","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R. (1978). Communicating Sequential Processes, CACM, Vol.21, No.8, Aug. 1978, pp.666\u2013677","journal-title":"CACM"},{"issue":"4","key":"1_CR10","doi-asserted-by":"crossref","first-page":"794","DOI":"10.1145\/322154.322167","volume":"26","author":"R. Milner","year":"1979","unstructured":"Milner, R. (1979). Flowgraphs and Flow Algebras, JACM, Vol. 26, No.4, Oct. 1979, pp.794\u2013818","journal-title":"JACM"},{"issue":"5","key":"1_CR11","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1145\/360051.360224","volume":"19","author":"S. Owicki","year":"1976","unstructured":"Owicki, S. and Gries, D. (1976). Verifying Properties of Parallel Programs: An Axiomatic Approach, CACM, Vol. 19, No.5, May 1976, pp.280\u2013285","journal-title":"CACM"},{"issue":"3","key":"1_CR12","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G. Plotkin","year":"1976","unstructured":"Plotkin, G. (1976). A Powerdomain Construction, SIAM Journal on Computing, Vol.5, No.3, 1976, pp.452\u2013487","journal-title":"SIAM Journal on Computing"},{"issue":"6","key":"1_CR13","doi-asserted-by":"crossref","first-page":"542","DOI":"10.1109\/TSE.1979.230190","volume":"SE-5","author":"A. Siberschatz","year":"1979","unstructured":"Siberschatz, A. (1979). Communication and Synchronization in Distributed Systems, IEEE Trans. on Software Engineering, Vol. SE-5, No. 6, Nov. 1979, pp.542\u2013546","journal-title":"IEEE Trans. on Software Engineering"},{"key":"1_CR14","unstructured":"SIGPLAN Notices (1979). Preliminary Ada Reference Manual, SIGPLAN Notices, Vol.14, No.6, Part A, June 1979"},{"key":"1_CR15","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/3-540-09745-7_17","volume":"79","author":"J. Welsh","year":"1980","unstructured":"Welsh, J., Lister, A. and Salzman, E.J. (1980). A Comparison of Two Notations for Process Communication, Lecture Notes in Computer Science, Vol. 79, Springer Verlag, 1980, pp.225\u2013254","journal-title":"Lecture Notes in Computer Science"}],"container-title":["Lecture Notes in Computer Science","Operating Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-11604-4_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:44:20Z","timestamp":1619556260000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-11604-4_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540116042","9783540394242"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-11604-4_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1982]]}}}