Presentation / Exposé :
Un modèle pour la répartition d'automates réactifs
sur réseau asynchrone de processeurs
Colloque AFCET sur la modélisation des systèmes
réactifs. 28-29 Mars 1996
Brest
Fichier PostScript (120K)
présenté par Claude Jard. Pampa/IRISA/CNRS
Le problème abordé dans cet article est la
synthèse automatique de programmes répartis à partir d'une spécification
donnée sous la forme d'un automate séquentiel réagissant à son environnement.
Nous contribuons à la mise en place d'un modèle théorique décrivant et
expliquant un procédé de répartition d'automates fondé sur la répartition
des actions.