From f49904aa3574ceafccd777e798a7a9b8727d36f8 Mon Sep 17 00:00:00 2001 From: Markus Alexander Kuppe Date: Wed, 30 Oct 2024 08:27:59 -0700 Subject: [PATCH] Add link to asynchronous version of Conway's Game of Life --- specifications/GameOfLife/README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/specifications/GameOfLife/README.md b/specifications/GameOfLife/README.md index 1785f8d6..a4ac1588 100644 --- 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.