School of Computing

Torwards Concrete Concurrency: occam-pi on the LEGO Mindstorms

Christian L. Jacobsen and Matthew C. Jadud

In SIGCSE '05: Proceedings of the 36th SIGCSE technical symposium on Computer science education, pages 182-196, New York, NY, USA, February 2005. ACM [doi].

Abstract

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.



Bibtex Record

@inproceedings{2873,
author = {Christian L. Jacobsen and Matthew C. Jadud},
title = {{Torwards Concrete Concurrency: occam-pi on the LEGO Mindstorms}},
month = {February},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {10.1145/1047344.1047485},
url = {http://www.cs.kent.ac.uk/pubs/2005/2873},
    publication_type = {inproceedings},
    submission_id = {1647_1234271097},
    ISBN = {1-58113-997-7},
    booktitle = {SIGCSE '05: Proceedings of the 36th SIGCSE technical symposium on Computer science education},
    address = {New York, NY, USA},
    publisher = {ACM},
    refereed = {yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014