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 <>
Submitted on : Wednesday, May 24, 2006 - 5:06:22 PM
Last modification on : Saturday, January 27, 2018 - 1:31:04 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

100

Files downloads

75