A Formal Development of a Polychronous Polytimed Coordination Language by Hai Nguyen Van 📧, Frédéric Boulanger 📧 and Burkhart Wolff 📧 Jul 30