Compositionality in Dataflow Synchronous Languages: Specification and Code Generation

Albert Benveniste, Paul Le Guernic, Pascal Aubry. Compositionality in Dataflow Synchronous Languages: Specification and Code Generation. In Willem P. de Roever, Hans Langmaack, Amir Pnueli, editors, Compositionality: The Significant Difference, International Symposium, COMPOS 97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures. Volume 1536 of Lecture Notes in Computer Science, pages 61-80, Springer, 1997. [doi]

Abstract

Abstract is missing.