Modular causality in a synchronous stream language (2001)

by Pascal Cuoq, Marc Pouzet
Venue:In European Symposium on Programming (ESOP ’01