Communicating sequential processes
Communicating sequential processes
The SR programming language: concurrency in practice
The SR programming language: concurrency in practice
Turtles, termites, and traffic jams: explorations in massively parallel microworlds
Turtles, termites, and traffic jams: explorations in massively parallel microworlds
A laboratory for teaching parallel computing on parallel structures
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Concurrent programming in ERLANG (2nd ed.)
Concurrent programming in ERLANG (2nd ed.)
The Kent retargetable occam compiler
WoTUG '96 Proceedings of the 19th world occam and transputer user group technical meeting on Parallel processing developments
An integrated course on parallel and distributed processing
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
A concurrency simulator designed for sophomore-level instruction
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Using autonomous robotics to teach science and engineering
Communications of the ACM
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
An Ada interface to lego mindstorms
ACM SIGAda Ada Letters
Starving philosophers: experimentation with monitor synchronization
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
Dave Baum's Definitive Guide to Lego Mindstorms
Dave Baum's Definitive Guide to Lego Mindstorms
ThreadMentor: a pedagogical tool for multithreaded programming
Journal on Educational Resources in Computing (JERIC)
Enhancing lisp instruction with RCXLisp and robotics
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Concepts, Techniques, and Models of Computer Programming
Concepts, Techniques, and Models of Computer Programming
Using Robotics to Motivate ‘Back Door’ Learning
Education and Information Technologies
Patterns for programming in parallel, pedagogically
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Implementing Flexible Parallelism for Modular Self-reconfigurable Robots
SIMPAR '08 Proceedings of the 1st International Conference on Simulation, Modeling, and Programming for Autonomous Robots
A short unit to introduce multi-threaded programming
Journal of Computing Sciences in Colleges
Proceedings of the 41st ACM technical symposium on Computer science education
Computer science meets industrial robotics: a visual servoing project for a computer vision course
Journal of Computing Sciences in Colleges
Hi-index | 0.00 |
In a world of ad-hoc networks, highly interconnected mobile devices and increasingly large supercomputer clusters, students need models of computation that help them think about dynamic and concurrent systems. Many of the tools currently available for introducing students to concurrency are difficult to use and are not intrinsically motivating. To provide an authentic, hands-on, and enjoyable introduction to concurrency, we have ported occam π, a language whose expressive powers are especially compelling for describing communicating dynamic reactive processes, to the LEGO Mindstorms.