Timed Equivalences for Timed Event Structures.

Maria V. Andreeva, Irina B. Virbitskaite

Browse the full PACT paper archive.