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) |
