Natalya Gribovskaya, Irina Virbitskaite. A Categorical Observation of Timed Testing Equivalence. In Victor E. Malyshkin, editor, Parallel Computing Technologies, 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings. Volume 4671 of Lecture Notes in Computer Science, pages 35-46, Springer, 2007. [doi]
Abstract is missing.