INVESTIGADORES
BRABERMAN Victor Adrian
congresos y reuniones científicas
Título:
Preserving Branching-time Structure in timed Systems
Autor/es:
VICTOR A. BRABERMAN; ALFREDO OLIVERO
Lugar:
Buenos Aires, Argentina
Reunión:
Workshop; Workshop Argentino de Ciencia de la Computación; 2001
Institución organizadora:
SADIO
Resumen:
In this article, we present the continuous observational bisismulation: a sort of wek version of bisimulation relation between transition systems. Unlike previous notions of weak timed-bisimulation, this relation preserves branching structure for the whole class of timed systems. The presentation follows the framework of well-known timed formalisms: Timed Automata and Timed Computational Tree Logic (TCTL). Then, we prove that two Continuos-Observational Bisimilar TAs must satisfy the same set of TCTL formulas. This kind of bisimilartity is valuable theoretical tool to prove soundness and completeness of abstraction mechanisms.
