Filter by: Subject
Now showing items 1-10
Atomic broadcast (1) |
Distributed algorithms (1) |
Distributed computing models (1) |
Distributed protocols (1) |
Formal verification (1) |
Modelos computacionales (1) |
Paxos (1) |
Protocolos distribuídos (1) |
Teoría de la computación (1) |
Theory of computation (1) |