Verificación formal de protocolos distribuidos

Mostrar todas las versiones(2)

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.

Guardado en:
Detalles Bibliográficos
Autor principal: Naser Pastoriza, Alejandro José
Otros Autores: D'Argenio, Pedro Rubén
Formato: bachelorThesis publishedVersion
Lenguaje:Español
Publicado: 2020
Materias:
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
Acceso en línea:http://hdl.handle.net/11086/15004
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Ejemplares similares