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

Descripción
Sumario:	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.