{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T05:39:10Z","timestamp":1780378750158,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,2,23]],"date-time":"2005-02-23T00:00:00Z","timestamp":1109116800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,2,23]]},"DOI":"10.1145\/1047344.1047485","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T04:31:47Z","timestamp":1123043507000},"page":"431-435","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Towards concrete concurrency"],"prefix":"10.1145","author":[{"given":"Christian L.","family":"Jacobsen","sequence":"first","affiliation":[{"name":"University of Kent, Canterbury, Kent"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthew C.","family":"Jadud","sequence":"additional","affiliation":[{"name":"University of Kent, Canterbury, Kent"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2005,2,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"The SR Programming Language: Concurrency in Practice. Benjamin\/Cummings Publishing Company","author":"Andrews G.","year":"1993","unstructured":"G. Andrews and R. Olsson . The SR Programming Language: Concurrency in Practice. Benjamin\/Cummings Publishing Company , Inc ., 1993 . G. Andrews and R. Olsson. The SR Programming Language: Concurrency in Practice. Benjamin\/Cummings Publishing Company, Inc., 1993."},{"key":"e_1_3_2_1_2_1","volume-title":"Concurrent Programming in Erlang","author":"Armstrong J.","year":"1996","unstructured":"J. Armstrong , R. Virding , C. Wikstr\u00f6m , and M. Williams . Concurrent Programming in Erlang . Prentice-Hall , second edition, 1996 . J. Armstrong, R. Virding, C. Wikstr\u00f6m, and M. Williams. Concurrent Programming in Erlang. Prentice-Hall, second edition, 1996."},{"key":"e_1_3_2_1_3_1","volume-title":"Handel-C Language Reference Guide","author":"Aubury M.","year":"1996","unstructured":"M. Aubury , I. Page , G. Randall , J. Saul , and R. Watts . Handel-C Language Reference Guide . Oxford University Computing Laboratory , August 1996 . M. Aubury, I. Page, G. Randall, J. Saul, and R. Watts. Handel-C Language Reference Guide. Oxford University Computing Laboratory, August 1996."},{"key":"e_1_3_2_1_5_1","first-page":"201","volume-title":"Communicating Process Architectures 2004","author":"Barnes F. R. M.","year":"2004","unstructured":"F. R. M. Barnes and P. H. Welch . Communicating Mobile Processes . In Communicating Process Architectures 2004 , pages 201 -- 218 , 2004 . F. R. M. Barnes and P. H. Welch. Communicating Mobile Processes. In Communicating Process Architectures 2004, pages 201--218, 2004."},{"key":"e_1_3_2_1_6_1","volume-title":"Dave Baum's Definitive Guide to Lego Mindstorms","author":"Baum D.","year":"1999","unstructured":"D. Baum and R. Zurcher . Dave Baum's Definitive Guide to Lego Mindstorms . APress L. P. , 1999 . D. Baum and R. Zurcher. Dave Baum's Definitive Guide to Lego Mindstorms. APress L. P., 1999."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/303849.303866"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/958795.958796"},{"key":"e_1_3_2_1_9_1","article-title":"Measuring API usability","author":"Clarke S.","year":"2004","unstructured":"S. Clarke . Measuring API usability . Dr. Dobbs Journal , May 2004 . S. Clarke. Measuring API usability. Dr. Dobbs Journal, May 2004.","journal-title":"Dr. Dobbs Journal"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/273133.274300"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/362076.362081"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2003.1213612"},{"key":"e_1_3_2_1_13_1","volume-title":"Oak Ridge, Tennessee","author":"Geist A.","year":"1994","unstructured":"A. Geist , A. Beguelin , J. Dongarra , W. Jiang , R. Manchek , and V. Sunderam . PVM 3 Users Guide and Reference manual. Oak Ridge National Laboratory , Oak Ridge, Tennessee 37831, May 1994 . A. Geist, A. Beguelin, J. Dongarra, W. Jiang, R. Manchek, and V. Sunderam. PVM 3 Users Guide and Reference manual. Oak Ridge National Laboratory, Oak Ridge, Tennessee 37831, May 1994."},{"key":"e_1_3_2_1_14_1","volume-title":"The pbForth Home Page","author":"Hempel R.","year":"2004","unstructured":"R. Hempel . The pbForth Home Page , 2004 . http:\/\/www.hempeldesigngroup.com\/lego\/pbForth. R. Hempel. The pbForth Home Page, 2004. http:\/\/www.hempeldesigngroup.com\/lego\/pbForth."},{"key":"e_1_3_2_1_15_1","volume-title":"Communicating Sequential Processes","author":"Hoare C.","year":"1985","unstructured":"C. Hoare . Communicating Sequential Processes . Prentice-Hall, Inc. , 1985 . C. Hoare. Communicating Sequential Processes. Prentice-Hall, Inc., 1985."},{"key":"e_1_3_2_1_16_1","first-page":"99","volume-title":"Communicating Process Architectures 2004","author":"Jacobsen C. L.","year":"2004","unstructured":"C. L. Jacobsen and M. C. Jadud . The Transterpreter: A Transputer Interpreter . In Communicating Process Architectures 2004 , pages 99 -- 107 , 2004 . C. L. Jacobsen and M. C. Jadud. The Transterpreter: A Transputer Interpreter. In Communicating Process Architectures 2004, pages 99--107, 2004."},{"key":"e_1_3_2_1_17_1","volume-title":"2000 IEEE International Conference","volume":"1","author":"Jadud M. C.","year":"2000","unstructured":"M. C. Jadud . Teamstorms as a theory of instruction. In Systems, Man, and Cybernetics , 2000 IEEE International Conference , volume 1 , 2000 . M. C. Jadud. Teamstorms as a theory of instruction. In Systems, Man, and Cybernetics, 2000 IEEE International Conference, volume 1, 2000."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/199688.199728"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/971300.971377"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/273133.274304"},{"key":"e_1_3_2_1_22_1","volume-title":"the \u03c0-calculus","author":"Milner R.","year":"1999","unstructured":"R. Milner . Communicating and mobile systems : the \u03c0-calculus . Cambridge University Press , 1999 . R. Milner. Communicating and mobile systems: the \u03c0-calculus. Cambridge University Press, 1999."},{"key":"e_1_3_2_1_23_1","unstructured":"M. Noga. BrickOS for the LEGO Mindstorms. http:\/\/freshmeat.net\/projects\/brickos\/.  M. Noga. BrickOS for the LEGO Mindstorms. http:\/\/freshmeat.net\/projects\/brickos\/."},{"issue":"0","key":"e_1_3_2_1_24_1","article-title":"An innovative course in parallel computing","volume":"4","author":"Pan Y.","year":"2003","unstructured":"Y. Pan . An innovative course in parallel computing . Journal of STEM Education , 4 ( 0 ), 2003 . Y. Pan. An innovative course in parallel computing. Journal of STEM Education, 4(0), 2003.","journal-title":"Journal of STEM Education"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:EAIT.0000027927.78380.60"},{"key":"e_1_3_2_1_26_1","volume-title":"The ROBOLAB system","author":"Dacta Pitsco LEGO","year":"2000","unstructured":"Pitsco LEGO Dacta . The ROBOLAB system , 2000 . http:\/\/www.pitsco-legodacta.com\/Products\/robolab.htm. Pitsco LEGO Dacta. The ROBOLAB system, 2000. http:\/\/www.pitsco-legodacta.com\/Products\/robolab.htm."},{"key":"e_1_3_2_1_27_1","volume-title":"Explorations in Massively Parallel Micorworlds","author":"Resnick M.","year":"1994","unstructured":"M. Resnick . Turtles, Termites, and Traffic Jams : Explorations in Massively Parallel Micorworlds . MIT Press , 1994 . M. Resnick. Turtles, Termites, and Traffic Jams: Explorations in Massively Parallel Micorworlds. MIT Press, 1994."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/364447.364612"},{"key":"e_1_3_2_1_29_1","volume-title":"Concepts, Techniques, and Models of Computer Programming","author":"Roy P. V.","year":"2004","unstructured":"P. V. Roy and S. Haridi . Concepts, Techniques, and Models of Computer Programming . MIT Press , 2004 . P. V. Roy and S. Haridi. Concepts, Techniques, and Models of Computer Programming. MIT Press, 2004."},{"key":"e_1_3_2_1_30_1","volume-title":"Implications for how we think","author":"Stein L.","year":"1999","unstructured":"L. Stein . Challenging the computational metaphor : Implications for how we think , 1999 . L. Stein. Challenging the computational metaphor: Implications for how we think, 1999."},{"key":"e_1_3_2_1_31_1","unstructured":"The OpenMP Architecture Review Board. OpenMP Specifications version 2.0. http:\/\/www.openmp.org\/drupal\/mp-documents\/cspec20.pdf.  The OpenMP Architecture Review Board. OpenMP Specifications version 2.0. http:\/\/www.openmp.org\/drupal\/mp-documents\/cspec20.pdf."},{"key":"e_1_3_2_1_32_1","series-title":"Concurrent Systems Engineering","first-page":"143","volume-title":"B. O'Neill","author":"Wood D.","year":"1996","unstructured":"D. Wood and P. Welch . The Kent Retargetable occam Compiler . In B. O'Neill , editor, Parallel Processing Developments, Proceedings of WoTUG 19, volume 47 of Concurrent Systems Engineering , pages 143 -- 166 . IOS Press , Netherlands, 1996 . ISBN: 90-5199-261-0. D. Wood and P. Welch. The Kent Retargetable occam Compiler. In B. O'Neill, editor, Parallel Processing Developments, Proceedings of WoTUG 19, volume 47 of Concurrent Systems Engineering, pages 143--166. IOS Press, Netherlands, 1996. ISBN: 90-5199-261-0."}],"event":{"name":"SIGCSE05: Technical Symposium on Computer Science Education","location":"St. Louis Missouri USA","acronym":"SIGCSE05","sponsor":["ACM Association for Computing Machinery","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 36th SIGCSE technical symposium on Computer science education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1047344.1047485","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1047344.1047485","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:07:47Z","timestamp":1750248467000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1047344.1047485"}},"subtitle":["occam-pi on the LEGO mindstorms"],"short-title":[],"issued":{"date-parts":[[2005,2,23]]},"references-count":30,"alternative-id":["10.1145\/1047344.1047485","10.1145\/1047344"],"URL":"https:\/\/doi.org\/10.1145\/1047344.1047485","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1047124.1047485","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,2,23]]},"assertion":[{"value":"2005-02-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}