{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T03:48:12Z","timestamp":1648784892329},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1975,6,1]],"date-time":"1975-06-01T00:00:00Z","timestamp":170812800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer and Information Sciences"],"published-print":{"date-parts":[[1975,6]]},"DOI":"10.1007\/bf00976241","type":"journal-article","created":{"date-parts":[[2005,1,14]],"date-time":"2005-01-14T09:26:18Z","timestamp":1105694778000},"page":"151-169","source":"Crossref","is-referenced-by-count":3,"title":["Process synchronization in high-level languages"],"prefix":"10.1007","volume":"4","author":[{"given":"Santosh K.","family":"Shrivastava","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"C. A. R. Hoare, ?Towards a theory of parallel programming,? in C. A. R. Hoare and R. H. Perrot, eds.,Operating Systems Techniques (Academic Press, 1973)."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1007\/BF00288684","volume":"1","author":"P. B. Hansen","year":"1972","unstructured":"P. B. Hansen, ?A comparison of two synchronising concepts,?Acta Informatica 1:190?199 (1972).","journal-title":"Acta Informatica"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1145\/361454.361473","volume":"15","author":"P. B. Hansen","year":"1972","unstructured":"P. B. Hansen, ?Structured multiprogramming,?Comm. ACM 15:574?578 (July 1972).","journal-title":"Comm. ACM"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"E. W. Dijkstra, ?Cooperating sequential processes,? in F. Genuys, ed.,Programming Languages (Academic Press, 1968).","DOI":"10.1007\/978-1-4757-3472-0_2"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. Hoare","year":"1969","unstructured":"C. A. R. Hoare, ?An axiomatic basis for computer programming,?Comm. ACM 12:576?580, 583 (October 1969).","journal-title":"Comm. ACM"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/BF00264291","volume":"1","author":"N. Wirth","year":"1971","unstructured":"N. Wirth, ?The programming language PASCAL,?Acta Informatica 1:35?63 (1971).","journal-title":"Acta Informatica"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"R. C. Holt, ?Some deadlock properties of computer systems,? inThird ACM Symposium on Operating Systems Principles (Stanford University, October 1971).","DOI":"10.1145\/800212.806501"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1145\/362759.362813","volume":"14","author":"P. J. Courtois","year":"1971","unstructured":"P. J. Courtois, F. Heymans and D. L. Parnas, ?Concurrent control with readers and writers,?Comm. ACM 14:667?668 (October 1971).","journal-title":"Comm. ACM"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/355620.361161","volume":"71","author":"C. A. R. Hoare","year":"1974","unstructured":"C. A. R. Hoare, ?Monitors: an operating system structuring concept,? Comm. ACM71:549?557 (October 1974).","journal-title":"Comm. ACM"},{"key":"CR10","unstructured":"S. K. Shrivastava, ?A structured approach to concurrent process synchronisation,? inProceedings of 1973 Sagamore Computer Conference on Parallel Processing, IEEE Cat. No. 73 CH0812-8C."}],"container-title":["International Journal of Computer & Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00976241.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00976241\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00976241","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T09:36:05Z","timestamp":1586079365000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00976241"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975,6]]},"references-count":10,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1975,6]]}},"alternative-id":["BF00976241"],"URL":"https:\/\/doi.org\/10.1007\/bf00976241","relation":{},"ISSN":["0091-7036","1573-7640"],"issn-type":[{"value":"0091-7036","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[1975,6]]}}}