Wang Yi

Kim G. Larsen, Justin Pearson, Carsten Weise, and Wang Yi. Clock Difference Diagrams. Nordic Journal of Computing, 6(3):271-298, Fall 1999. Abstract, References, etc.