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]

Abstract

Abstract is missing.