Jean-Marie Jacquet, Isabelle Linden. Towards a Theory of Refinement in Timed Coordination Languages. In Amy L. Murphy, Jan Vitek, editors, Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Volume 4467 of Lecture Notes in Computer Science, pages 113-131, Springer, 2007. [doi]
Abstract is missing.