Add link to asynchronous version of Conway's Game of Life

tlaplus · Oct 30, 2024 · f49904a · f49904a
1 parent f532f0a
commit f49904a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/specifications/GameOfLife/README.md b/specifications/GameOfLife/README.md
@@ -2,4 +2,6 @@ GameOfLife.tla
 --------------
 
 [Conway's Game of Life](https://en.wikipedia.org/wiki/Conway%27s_Game_of_Life)
-This specification with some more description can be also found [here](https://github.com/mryndzionek/tlaplus_specs#gameoflifetla)
+This specification with some more description can be also found [here](https://github.com/mryndzionek/tlaplus_specs#gameoflifetla).
+
+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.