Open Maps and Observational Equivalences for Timed Partial Order Models

Irina Virbitskaite, Natalya S. Gribovskaja. Open Maps and Observational Equivalences for Timed Partial Order Models. Fundamenta Informaticae, 60(1-4):383-399, 2004. [doi]

Authors

Irina Virbitskaite

This author has not been identified. Look up 'Irina Virbitskaite' in Google

Natalya S. Gribovskaja

This author has not been identified. Look up 'Natalya S. Gribovskaja' in Google