Alright man, I think you need a public push to go and embrace TLA :)<p>Here is the bakery algorithm from the tlaps examples:<p><a href="https:&#x2F;&#x2F;github.com&#x2F;cartazio&#x2F;tlaps&#x2F;blob&#x2F;master&#x2F;examples&#x2F;Bakery.tla" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;cartazio&#x2F;tlaps&#x2F;blob&#x2F;master&#x2F;examples&#x2F;Baker...</a>