Compositionality in dataflow synchronous languages: Specification and distributed code generation (2000)

by A Benveniste, B Caillaud, P L Guernic
Venue:Information and Computation