A Sketch of Reversible Deterministic Concurrency for Distributed Protocols
· 30 min read
This post presents preliminary results of elaborating the idea that was introduced on project's GitHub and which can be referred to as reversible deterministic concurrency. We try to make those ideas a little more concrete and apply them to modelling some well-known distributed protocols.