 | 1999 |
|---|
| 5 |       | Paul Caspi,
Alain Girault,
Daniel Pilaud:
Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors.
IEEE Trans. Software Eng. 25(3): 416-427 (1999) |
| 1989 |
|---|
| 4 | | Nicolas Halbwachs,
Daniel Pilaud,
Farid Ouabdesselam,
A.-C. Glory:
Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language.
Automatic Verification Methods for Finite State Systems 1989: 213-231 |
| 1988 |
|---|
| 3 |  | Daniel Pilaud,
Nicolas Halbwachs:
From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time.
FTRTFT 1988: 99-110 |
| 1987 |
|---|
| 2 | | Paul Caspi,
Daniel Pilaud,
Nicolas Halbwachs,
John Plaice:
Lustre: A Declarative Language for Programming Synchronous Systems.
POPL 1987: 178-188 |
| 1985 |
|---|
| 1 | | J. L. Bergerand,
Paul Caspi,
Daniel Pilaud,
Nicolas Halbwachs,
E. Pilaud:
Outline of a Real Time Data Flow Language.
IEEE Real-Time Systems Symposium 1985: 33-42 |
