{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:57:24Z","timestamp":1754488644579},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540551607"},{"type":"electronic","value":"9783540467625"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55160-3_54","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:50:14Z","timestamp":1330249814000},"page":"338-348","source":"Crossref","is-referenced-by-count":4,"title":["A distributed implementation of a task pool"],"prefix":"10.1007","author":[{"given":"H. Peter","family":"Hofstee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johan J.","family":"Lukkien","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan L. A.","family":"Snepscheut","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"26_CR1","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"E.W. Dijkstra, A Discipline of Programming, (Prentice Hall, Englewood Cliffs, NJ 1976)."},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, Communicating Sequential Processes, Comm. ACM (1978) 666\u2013677.","DOI":"10.1145\/359576.359585"},{"key":"26_CR3","unstructured":"C.A.R. Hoare, Communicating Sequential Processes, (Prentice-Hall International Series in Computer Science, 1985)"},{"key":"26_CR4","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00261260","volume":"16","author":"A.J. Martin","year":"1981","unstructured":"A.J. Martin, An Axiomatic Definition of Synchronization Primitives, Acta Informatica16, (1981) 219\u2013235.","journal-title":"Acta Informatica"},{"key":"26_CR5","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"S. Owicki, D. Gries, An Axiomatic Proof Technique for Parallel programs, Acta Informatica 6, (1976) 319\u2013340.","journal-title":"Acta Informatica"},{"key":"26_CR6","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0167-6423(90)90081-N","volume":"15","author":"H. P. Hofstee","year":"1990","unstructured":"H. P. Hofstee, A. J. Martin, J. L. A. van de Snepscheut, Distributed Sorting, Science of Computer Programming 15 (1990) 119\u2013133","journal-title":"Science of Computer Programming"},{"key":"26_CR7","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0020-0190(85)90078-X","volume":"20","author":"A.J. Martin","year":"1985","unstructured":"A.J. Martin, The Probe: An Addition to Communication Primitives, Information Processing Letters 20 (1985) 125\u2013130","journal-title":"Information Processing Letters"}],"container-title":["Lecture Notes in Computer Science","Reasearch Directions in High-Level Parallel Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55160-3_54.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:52Z","timestamp":1605646672000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55160-3_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551607","9783540467625"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-55160-3_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}