Chameneos.tla Chameneos, a Concurrency Game This specification with some more description and TLC graphs can be also found here