Browsing Facultad de Matemática, Astronomía, Física y Computación by Subject "Quantitative automata"
Now showing items 1-1 of 1
-
Autómatas estocásticos para sistemas concurrentes y tolerantes a fallas
(2018-12)En esta tesis introducimos una nueva clase de autómata llamada Input/Output Stochastic Automata (IOSA). Los IOSA son composicionales, y los IOSA cerrados (sin acciones de entrada) son completamente deterministas y por lo ...