Lustre: A Declarative Language for Programming Synchronous Systems

Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice. Lustre: A Declarative Language for Programming Synchronous Systems. In POPL. pages 178-188, 1987.

Possibly Related Publications

The following publications are possibly variants of this publication: