Abstract FR:

Il est montre comment la definition formelle d'un langage specialise peut aider a la conception des systemes paralleles synchrones. En effet, de nombreuses methodes de synthese connues peuvent s'exprimer comme des transformations de programmes dans le langage alpha. Le langage, sa semantique ainsi que les diferentes theories et techniques utilisees pour sa mise en uvre sont decrits