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

Ejemplares similares

Ejemplares similares