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.
Type de document :
Rapport
[Rapport de recherche] RR-1588, INRIA. 1992, pp.14
Liste complète des métadonnées

https://hal.inria.fr/inria-00074972
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 17:06:22
Dernière modification le : samedi 27 janvier 2018 - 01:31:04
Document(s) archivé(s) le : dimanche 4 avril 2010 - 22:25:49

Fichiers

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

87

Téléchargements de fichiers

62