Clocks as first class abstract types (2003)

by Jean-Louis Colao, Marc Pouzet
Venue:In Proceedings EMSOFT’03