Luis Fernando Llana Díaz, David de Frutos-Escrig. Relating May and Must Testing Semantics for Discrete Timed Process Algebras. In P. S. Thiagarajan, Roland H. C. Yap, editors, Advances in Computing Science - ASIAN 99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings. Volume 1742 of Lecture Notes in Computer Science, pages 74-86, Springer, 1999. [doi]
Abstract is missing.