Conway's Game of Life This specification with some more description can be also found here.
A model of an asynchronous version of Conway's Game of Life, inspired by Chrystopher L. Nehaniv's work, "Evolution in Asynchronous Cellular Automata," is available at https://github.com/lemmy/AsyncGameOfLife/blob/master/AsyncGameOfLife.tla.