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