{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:33Z","timestamp":1725663693865},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540524946"},{"type":"electronic","value":"9783540469988"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52494-0_36","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:32:15Z","timestamp":1330205535000},"page":"329-353","source":"Crossref","is-referenced-by-count":2,"title":["Occam and the transputer"],"prefix":"10.1007","author":[{"given":"David","family":"May","sequence":"first","affiliation":[]},{"given":"Roger","family":"Shepherd","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"14_CR1","volume-title":"A Protocol for Generalised occam","author":"R. Bornat","year":"1984","unstructured":"Bornat, R., \u201cA Protocol for Generalised occam\u201d, Department of Computer Science, Queen Mary College, London 1984"},{"issue":"2","key":"14_CR2","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1145\/69624.357208","volume":"5","author":"G.N. Buckley","year":"1983","unstructured":"G.N. Buckley, G.N. Silberschatz, Silberschatz, A., \u201cAn Effective Implementation for the Generalised Input-Output Construct of CSP\u201d, Transactions on Programming Languages and Systems Vol. 5, 2 (April 1983) p. 224","journal-title":"Transactions on Programming Languages and Systems"},{"issue":"8","key":"14_CR3","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., \u201cCommunicating Sequential Processes\u201d, Communications of the ACM Vol. 21, 8 (August 1978) p. 666","journal-title":"Communications of the ACM"},{"key":"14_CR4","unstructured":"INMOS Ltd., \u201cThe occam programming manual\u201d, Prentice Hall, 1984"},{"key":"14_CR5","unstructured":"INMOS Ltd., \u201cThe occam2 reference manual\u201d, Prentice Hall, 1988"},{"key":"14_CR6","unstructured":"INMOS Ltd., \u201cThe transputer reference manual\u201d, Prentice Hall, 1988"},{"key":"14_CR7","unstructured":"Mead, C.A., Conway, L.A. \u201cIntroduction to VLSI Systems\u201d, Addison Wesley, 1980 (Section 5)"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Roscoe, A.W., \u201cDenotational Semantics for occam\u201d, presented at NSF\/SERC Seminar on Concurrency, Carnegie-Mellon University, July 1984","DOI":"10.1007\/3-540-15670-4_15"},{"key":"14_CR9","unstructured":"Roscoe, A.W., Hoare, C.A.R., \u201cThe laws of occam programming\u201d, Technical Monograph PRG-53, Oxford University Computing Laboratory, Programming Research Group, 1986"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1989"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52494-0_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:24:16Z","timestamp":1605648256000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52494-0_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540524946","9783540469988"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-52494-0_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}