/Lamport-Mutual-Exclusion-algorithm-in-TLA

Distributed Mutex : specifying and verifying safety and efficiency properties of Lamport mutual exclusion algorithm in TLA.

Primary LanguageTLA

Stargazers

No one’s star this repository yet.