School of Computing

Lazy Cellular Automata with Communicating Processes

A.T. Sampson, P.H. Welch, and F.R.M. Barnes

In J.F. Broenink, H.W. Roebbers, J.P.E. Sunter, P.H. Welch, and D.C. Wood, editors, Communicating Process Architectures 2005, volume 63 of Concurrent Systems Engineering Series, pages 182-196, IOS Press, The Netherlands, September 2005. IOS Press.


Cellular automata (CAs) are good examples of systems in which large numbers of autonomous entities exhibit emergent behaviour. Using the occam-pi and JCSP communicating process systems, we show how to construct ``lazy'' and ``just-in-time'' models of cellular automata, which permit very efficient parallel simulation of sparse CA populations on shared-memory and distributed systems.

Download publication 109 kbytes (PDF)

Bibtex Record

author = {A.T. Sampson and P.H. Welch and F.R.M. Barnes},
title = {{Lazy Cellular Automata with Communicating Processes}},
month = {September},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {inproceedings},
    submission_id = {18793_1127479488},
    ISBN = {1-58603-561-4},
    booktitle = {Communicating Process Architectures 2005},
    editor = {J.F. Broenink and H.W. Roebbers and J.P.E. Sunter and P.H. Welch and D.C. Wood},
    volume = {63},
    series = {Concurrent Systems Engineering Series},
    address = {IOS Press, The Netherlands},
    publisher = {IOS Press},
    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