tlaplus-lamport

There are 4 repositories under tlaplus-lamport topic.

sanjosh/tlaplus
TLA+ programs
Language:TLA9 3 04
dartmann/MinuteClock
A TLA+ model for a clock with hours and minutes.
Language:TLA2 0
SwethasriKavuri/Distributed-Mutex-TLA-specs
Compared the specifications and correctness of Distributed Mutex Algorithms and compared the efficiency, max clock values, max states reached using TLA+
Language:TLA2 0
vivek-bansal-VB/Lamport-Mutual-Exclusion-algorithm-in-TLA
Distributed Mutex : specifying and verifying safety and efficiency properties of Lamport mutual exclusion algorithm in TLA.
Language:TLA0 0