Natalya S. Gribovskaja

Open Maps and Trace Semantics for Timed Partial Order Models

Irina Virbitskaite, Natalya S. Gribovskaja, I. Virbitskaite, 2003, Ershov Memorial Conference.

Open Maps and Observational Equivalences for Timed Partial Order Models

Irina Virbitskaite, Natalya S. Gribovskaja, I. Virbitskaite, 2003, Fundam. Informaticae.