TY  - JOUR
AU  - García Merayo, María De Las Mercedes
AU  - Núñez García, Manuel
AU  - Rodríguez Laguna, Ismael
PY  - 2006
DO  - 10.1007/11777830_9
SN  - 0302-9743
UR  - https://hdl.handle.net/20.500.14352/50035
T2  - Lecture Notes in Computer Science
AB  - We present a timed extension of the classical finite state machines model where time is introduced in two ways. On the one hand, timeouts can be specified, that is, we can express that if an input action is not received before a fix amount of time...
LA  - eng
M2  - 123
PB  - Springer Verlag
KW  - Probabilistic processes
KW  - Algebraic-theory
KW  - Timed automata
KW  - Systems
KW  - Priorities
TI  - Implementation relations for stochastic finite state machines
TY  - journal article
VL  - 4054
ER  -