{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:59:55Z","timestamp":1725559195057},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540258131"},{"type":"electronic","value":"9783540322658"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11423348_5","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T02:36:01Z","timestamp":1279074961000},"page":"75-84","source":"Crossref","is-referenced-by-count":0,"title":["CSP, occam and Transputers"],"prefix":"10.1007","author":[{"given":"David","family":"May","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"5_CR1","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1109\/32.24710","volume":"15","author":"G. Barrett","year":"1989","unstructured":"Barrett, G.: Formal methods applied to a floating point number system. IEEE transactions on software engineering\u00a015(5), 611\u2013621 (1989)","journal-title":"IEEE transactions on software engineering"},{"issue":"2","key":"5_CR2","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1109\/32.345823","volume":"21","author":"G. Barrett","year":"1995","unstructured":"Barrett, G.: Model checking in practice: the t9000 virtual channel processor. IEEE transactions on software engineering\u00a021(2), 69\u201378 (1995)","journal-title":"IEEE transactions on software engineering"},{"key":"5_CR3","first-page":"55","volume-title":"Mathematical Logic and Programming Languages","author":"D.I. Good","year":"1985","unstructured":"Good, D.I.: Mechanical proofs about computer programs. In: Hoare, C.A.R., Shepherdson, J.C. (eds.) Mathematical Logic and Programming Languages, pp. 55\u201374. Prentice-Hall, Englewood Cliffs (1985)"},{"issue":"8","key":"5_CR4","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM\u00a021(8), 666\u2013677 (1978)","journal-title":"Communications of the ACM"},{"key":"5_CR5","unstructured":"Hoare, C.A.R., Roscoe, A.W.: Programs as executable predicates. In: Second International Conference on Fifth Generation Computer Systems, Tokyo, November 1984, pp. 220\u2013228 (1984)"},{"issue":"2","key":"5_CR6","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0304-3975(88)90049-7","volume":"60","author":"C.A.R. Hoare","year":"1988","unstructured":"Hoare, C.A.R., Roscoe, A.W.: The laws of occam programming. Theoretical Computer Science\u00a060(2), 177\u2013229 (1988)","journal-title":"Theoretical Computer Science"},{"issue":"5","key":"5_CR7","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MM.1987.305012","volume":"7","author":"M. Homewood","year":"1987","unstructured":"Homewood, M., May, D., Shepherd., R.: The ims t800 transputer. IEEE Micro\u00a07(5), 10\u201326 (1987)","journal-title":"IEEE Micro"},{"key":"5_CR8","volume-title":"The Transputer Instruction set: a compiler writer\u2019s guide","author":"Inmos","year":"1988","unstructured":"Inmos: The Transputer Instruction set: a compiler writer\u2019s guide. Prentice hall, Englewood Cliffs (1988)"},{"key":"5_CR9","unstructured":"Inmos Ltd. occam-2 Reference Manual. Prentice Hall, Englewood Cliffs (1988)"},{"issue":"4","key":"5_CR10","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/948176.948183","volume":"18","author":"D. May","year":"1983","unstructured":"May, D.: occam. Sigplan Notices\u00a018(4), 69\u201379 (1983)","journal-title":"Sigplan Notices"},{"key":"5_CR11","first-page":"107","volume-title":"Developments in Concurrency and Communication","author":"D. May","year":"1990","unstructured":"May, D.: Use of formal methods by a silicon manufacturer. In: Hoare, C.A.R. (ed.) Developments in Concurrency and Communication, pp. 107\u2013129. Addison-Wesley, Reading (1990)"},{"key":"5_CR12","first-page":"3","volume-title":"Proceedings of the 3rd Transputer\/occam International Conference","author":"D. May","year":"1990","unstructured":"May, D.: Transputers and routers: components for concurrent machines. In: Proceedings of the 3rd Transputer\/occam International Conference, Tokyo, May 1990, pp. 3\u201320. IOS Press, Amsterdam (1990)"},{"key":"5_CR13","volume-title":"Twentieth Hawaii International Conference on System Sciences","author":"D. May","year":"1987","unstructured":"May, D., Keane, C.: Compiling occam into silicon. In: Twentieth Hawaii International Conference on System Sciences, Hawaii, May 1987. IEEE, Los Alamitos (1987)"},{"key":"5_CR14","unstructured":"May, D., Shepherd, R.: The transputer implementation of occam. In: Second International Conference on Fifth Generation Computer Systems, Tokyo, november 1984, pp. 533\u2013541 (1984)"},{"issue":"2","key":"5_CR15","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1137\/0211027","volume":"11","author":"L.G. Valiant","year":"1982","unstructured":"Valiant, L.G.: A scheme for fast parallel communication. SIAM Journal on Computing\u00a011(2), 350\u2013361 (1982)","journal-title":"SIAM Journal on Computing"}],"container-title":["Lecture Notes in Computer Science","Communicating Sequential Processes. The First 25 Years"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11423348_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T16:11:57Z","timestamp":1558282317000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11423348_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540258131","9783540322658"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11423348_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}