leslie-lamport

There are 0 repository under leslie-lamport topic.

AtropineTears / Lamport-rs
A Post-Quantum Cryptographic Library For Lamport Signatures
crate crates cryptography cryptography-library digital-signature lamport lamport-algorithm lamport-signature lamport-signature-scheme leslie-lamport post-quantum post-quantum-cryptography rust rust-lang
Language:Rust 6
hengxin / hyperbook-tla-cn
Chinese translation of hyperbook by Leslie Lamport on TLA+
leslie-lamport tlaplus hyperbook chinese-translation
Language:TeX 1
joyoyoyoyoyo / lamport-logical-clocks-in-a-distributed-system
🌐 Implementation of Lamport Clocks 🕒 to Order Life Events in a Distributed System
lamport-algorithm lamport-clock distributed-systems happens-before leslie-lamport lamport-timestamp partial-ordering
Language:Scala 1
ac259 / LamporTLA
TLA+ examples and modelling
distributed-systems leslie-lamport modelling-distributed-systems tlaplus
Language:TLA
lustres / mutex_problem
An experimental OTP application to simulate ordering events in a distributed system.
experimental otp-applications erlang-otp leslie-lamport
Language:Erlang