Un modèle pour la répartition d'automates réactifs sur réseau asynchrone de processeurs

Abstract

In this article we address the problem of automatic synthesis of distributed programs from specifications given as sequential reactive automata. We contribute to set up a theoretical model for describing and understanding a distribution process for automata, based on the distribution of actions.

BibTeX entry

@InProceedings{CCGJ96,
  author = 	 {B. Caillaud and P. Caspi and A. Girault and C. Jard},
  title = 	 {Un Mod\`ele pour la R\'epartition d'Automates
                  R\'eactifs sur R\'eseau Asynchrone de Processeurs},
  booktitle = 	 {Conf\'erence AFCET sur la Mod\'elisation des
                  Syst\`emes R\'eactifs, MSR'96},
  year =	 {1996},
  organization = {AFCET},
  address =	 {Brest, France},
  month =	 {March}
}