HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

Reseaux de processus reactifs

Frédéric Boussinot 1
1 MEIJE - Concurrency, Synchronization and Real-time Programming
CRISAM - Inria Sophia Antipolis - Méditerranée
Résumé : On introduit le modèle des réseaux de processus réactifs, on décrit une implémentation de ces réseaux et on leur donne une sémantique mathématique dans le cadre dénotationnel. On étudie l'implémentation des langages synchrones Lustre et Signal en considérant leurs programmes comme des exemples de réseaux réactifs.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00074972
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 5:06:22 PM
Last modification on : Friday, February 4, 2022 - 3:18:35 AM
Long-term archiving on: : Sunday, April 4, 2010 - 10:25:49 PM

Identifiers

  • HAL Id : inria-00074972, version 1

Collections

Citation

Frédéric Boussinot. Reseaux de processus reactifs. [Rapport de recherche] RR-1588, INRIA. 1992, pp.14. ⟨inria-00074972⟩

Share

Metrics

Record views

40

Files downloads

34