Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

2 résultats
Image document

Real-time,synchronous,data-flow programming: The language SIGNAL and its mathematical semantics

Paul Le Guernic , Albert Benveniste
[Research Report] RR-0620, INRIA. 1987
Rapport inria-00075934v1
Image document

A denotational theory of synchronous communicating systems

Albert Benveniste , Paul Le Guernic
[Research Report] RR-0685, INRIA. 1987
Rapport inria-00075868v1