Guilhem de Wailly, Fernand Boéri. Specification of a functional synchronous dataflow language for parallel implementations with the denotational semantics. In Proceedings of the 1996 ACM Symposium on Applied Computing (SAC), February 17-19, 1996, Philadelphia, PA, USA. pages 414-419, ACM, 1996. [doi]
Abstract is missing.