For many use cases (for example cryptocurrency ledgers), we need to ensure that any action will execute deterministically and terminate. In this article, Ben Evans reviews the theory behind the...