Towards concrete concurrency: Occam-pi on the LEGO mindstorms

Proceedings of the Thirty-Sixth SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2005

Volumn , Issue , 2005, Pages 431-435

  Jacobsen, Christian L ^a   Jadud, Matthew C ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

Concurrency; CSP; Fun; LEGO; Occam ; Parallelism

Indexed keywords

COMMUNICATING SEQUENTIAL PROCESS (CSP); CONCURRENCY; FUN; LEGO; OCCAM-Π; PARALLELISM;

COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTER NETWORKS; COMPUTER PROGRAMMING LANGUAGES; CONCURRENCY CONTROL; LEARNING SYSTEMS; MATHEMATICAL MODELS; MOTIVATION; PROGRAM COMPILERS; ROBOTICS; ROBOTS; SOCIAL ASPECTS; SUPERCOMPUTERS;

ENGINEERING EDUCATION;

EID: 20444505701     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (32)

1. G. Andrews and R. Olsson. The SR Programming Language: Concurrency in Practice. Benjamin/Cummings Publishing Company, Inc., 1993.
2. J. Armstrong, R. Virding, C. Wikström, and M. Williams. Concurrent Programming in Erlang. Prentice-Hall, second edition, 1996.
3. M. Aubury, I. Page, G. Randall, J. Saul, and R. Watts. Handel-C Language Reference Guide. Oxford University Computing Laboratory, August 1996.
4. F. R. Barnes. Dynamics and Pragmatics for High Performance Concurrency. PhD thesis, University of Kent, June 2003.
5. F. R. M. Barnes and P. H. Welch. Communicating Mobile Processes. In Communicating Process Architectures 2004, pages 201-218, 2004.
6. D. Baum and R. Zurcher. Dave Boum's Definitive Guide to Lego Mindstorms. APress L. P., 1999.
7. R. D. Beer, H. J. Chiel, and R. F. Drushel. Using autonomous robotics to teach science and engineering. Commun. ACM, 42(6):85-92, 1999.
8. S. Carr, J. Mayo, and C.-K. Shene. Threadmentor: a pedagogical tool for multithreaded programming. J. Educ. Resour. Comput., 3(1):1-30, 2003.
9. S. Clarke. Measuring API usability. Dr. Dobbs Journal, May 2004.
10. J. C. Cunha and J. Lourenco. An integrated course on parallel and distributed processing. In Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education, pages 217-221. ACM Press, 1998.
11. B. Fagin. An Ada interface to LEGO Mindstorms. Ada Lett., XX(3):20-40, 2000.
12. B. Fagin. Ada/mindstorms 3.0: A computational environment for introductory robotics and programming. IEEE Robotics and Automation Magazine, 10(2):19- 24, June 2003.
13. 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.
14. R. Hempel. The pbForth Home Page, 2004. http://www.hwempeldesigngroup.com/lego/pbForth.
15. C. Hoare. Communicating Sequential Processes. Prentice-Hall, Inc., 1985.
16. C. L. Jacobsen and M. C. Jadud. The Transterpreter: A Transputer Interpreter. In Communicating Process Architectures 2004, pages 99-107, 2004.
17. M. C. Jadud. Teamstorms as a theory of instruction. In Systems, Man, and Cybernetics, 2000 IEEE International Conference, volume 1, 2000.
18. L. Jin and L. Yang. A laboratory for teaching parallel computing on parallel structures. In Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education, pages 71-75. ACM Press, 1995.
19. F. Klassner. Enhancing lisp instruction with RCXLisp and robotics. In Proceedings of the 35th SIGCSE technical symposium on Computer science education, pages 214-218. ACM Press, 2004.
20. B. L. Kurtz, H. Cai, C. Plock, and X. Chen. A concurrency simulator designed for sophomore-level instruction. In Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education, pages 237-241. ACM Press, 1998.
21. F. G. Martin. Circuits to Control: Learning Engineering by Designing LEGO Robots. PhD thesis, Massachusetts Institute of Technology, 1994.
22. R. Milner. Communicating and mobile systems: the π-calculus. Cambridge University Press, 1999.
23. M. Noga. BrickOS for the LEGO Mindstorms. http://freshmeat.net/projects/brickos/.
24. Y. Pan. An innovative course in parallel computing. Journal of STEM Education, 4(0), 2003.
25. P. B. Petre M. Using robotics to motivate 'back door' learning. Education and Information Technologies, 9(2):147-158, 2004.
26. Pitsco LEGO Dacta. The ROBOLAB system, 2000. http://www.pitsco-legodacta.com/Products/robolab.htm.
27. M. Resnick. Turtles, Termites, and Traffic Jams: Explorations in Massively Parallel Micorworlds. MIT Press, 1994.
28. S. Robbins. Starving philosophers: experimentation with monitor synchronization. In Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education, pages 317-321. ACM Press, 2001.
29. P. V. Roy and S. Haridi. Concepts, Techniques, and Models of Computer Programming. MIT Press, 2004.
30. L. Stein. Challenging the computational metaphor: Implications for how we think, 1999.
31. The OpenMP Architecture Review Board. OpenMP Specifications version 2.0. http://www.openmp.org/drupal/mp-documents/cspec20.pdf.
32. 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.