Synchronous Vs Asynchronous Consensus
Meaning ⎊ Comparison of consensus protocols based on their reliance on fixed time bounds for message delivery and transaction ordering.
Consensus Liveness Vs Safety
Meaning ⎊ The trade-off between ensuring the system always makes progress and ensuring the system never commits incorrect data.
TLA+ Specification
Meaning ⎊ A formal language used to model and mathematically verify the logical correctness of complex distributed system behaviors.
TLA+
Meaning ⎊ Formal specification language used to model and verify the correctness of complex concurrent and distributed systems.
Formal Specification Languages
Meaning ⎊ Languages designed for describing system behavior and requirements with mathematical precision.
