Modular causality in a synchronous stream language (2001)

by P Cuoq, M Pouzet
Venue:In European Symposium on Programming, ESOP’01