INVESTIGADORES
D'ARGENIO Pedro Ruben
congresos y reuniones científicas
Título:
From Stochastic Automata to Timed Automata: Abstracting Probability in a Compositional Manner
Autor/es:
PEDRO R. D'ARGENIO
Lugar:
Buenos Aires
Reunión:
Workshop; WAIT 2003, Workshop Argentino de Informática Teórica (32 JAIIO); 2003
Institución organizadora:
SADIO
Resumen:
We present a translation from stochastic automata [10, 8] into timed automata with deadlines [5]. The translation abstracts probabilities and preserves trace behaviour. Moreover, it is compositional in the sense that the translation of the parallel composition of two stochastic automata is equivalent to the parallel composition of the timed automata resulting from the translation of each component.
