Lazy Cellular Automata with Communicating Processes

Cellular automata (CAs) are good examples of systems in which large num- bers 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 efficie nt parallel simulation of sparse CA populations on shared-memory and distributed systems.