Towards a Theory of Refinement in Timed Coordination Languages.

Jean-Marie Jacquet, Isabelle Linden

Browse the full Coordination paper archive.