Constraint Database Models Characterizing Timed Bisimilarity

Supratik Mukhopadhyay, Andreas Podelski. Constraint Database Models Characterizing Timed Bisimilarity. In I. V. Ramakrishnan, editor, Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, Proceedings. Volume 1990 of Lecture Notes in Computer Science, pages 245-258, Springer, 2001. [doi]