Autómatas estocásticos para sistemas concurrentes y tolerantes a fallas

Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2018.

Guardado en:

Detalles Bibliográficos
Autor principal:	Monti, Raúl Enrique
Otros Autores:	D'Argenio, Pedro Rubén
Formato:	doctoralThesis
Lenguaje:	Español
Publicado:	2023
Materias:	Automata Concurrencia Determinismo Simulación Confluencia Probabilidades continuas Formal languages and automata theory Automata over infinite objects Quantitative automata Models of computation Concurrency Timed and hybrid models Logic Verification by model checking
Acceso en línea:	http://hdl.handle.net/11086/549542
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Descripción
Sumario:	Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2018.