Analysis of Timed Concurrent Models Based on Testing Equivalence. - Maria V. Andreeva; Elena N. Bozhenkova; Irina B. Virbitskaite (Fundam. Informaticae, 2000)

Timed Equivalences for Timed Event Structures. - Maria V. Andreeva; Irina B. Virbitskaite (PaCT, 2005)

Observational Equivalences for Timed Stable Event Structures. - Maria V. Andreeva; Irina B. Virbitskaite (Fundam. Informaticae, 2006)