Verificación formal de protocolos distribuidos
Tesis (Lic. en Cs de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2019.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | info:eu-repo/semantics/publishedVersion biblioteca |
| Language: | spa |
| Published: |
2019
|
| Subjects: | Teoría de la computación, Modelos computacionales, Protocolos distribuídos, Distributed computing models, Distributed algorithms, Theory of computation, Paxos, Atomic broadcast, Formal verification, Distributed protocols, |
| Online Access: | http://hdl.handle.net/11086/15004 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | Tesis (Lic. en Cs de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2019. |
|---|