A Categorical View of Timed Weak Bisimulation

Natalya Gribovskaya, Irina Virbitskaite. A Categorical View of Timed Weak Bisimulation. In Jan Kratochvíl, Angsheng Li, Jirí Fiala, Petr Kolman, editors, Theory and Applications of Models of Computation, 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings. Volume 6108 of Lecture Notes in Computer Science, pages 443-454, Springer, 2010. [doi]

Authors

Natalya Gribovskaya

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

Irina Virbitskaite

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