Chapitre 1

Langages pour l'expression de la synchronisation spatiale et temporelle

2 Les langages impératifs

2.2 Approche opérationnelle

2.3 Synthèse

3 Les langages déclaratifs

3.3 Madeus

4 Conclusion