The tile model (2000)

by Fabio Gadducci, Ugo Montanari
Venue:Proof, Language, and Interaction