1. Asarin, E., Caspi, P., Maler, O.: A Kleene Theorem for Timed Automata. In: Winskel, G. (ed.) International Symposium on Logics in Computer Science LICS 1997, pp. 160–171. IEEE computer Society Press, Los Alamitos (1997)
2. Barua, R., Chaochen, Z.: Neighbourhood Logics: NL and NL2. Presented at ComBaS Group, Technical University of Denmark, September 4-7 (1997)
3. Lecture Notes in Computer Science;P. Chan,1995
4. Chaochen, Z., Guelev, D.P., Naijun, Z.: A Higher-Order Duration Calculus. Published in: the proceedings of the Symposium in Celebration of the Work of C.A.R. Hoare, Oxford, September 13-15 (1999)
5. Chaochen, Z., Hansen, M.R.: An Adequate First Order Interval Logic. In: Langmaack, H., et al. (eds.) International Symposium, Compositionality - The Significant Difference, Springer, Heidelberg (1998)