Langage synchrone

Les langages synchrones permettent de programmer de manière sûre des systèmes réactifs et embarqués très complexes.

Ils sont fondés sur le modèle du parallélisme synchrone, c’est à dire qui introduit une notion de temps logique (qui ordonne les événements les uns par rapport aux autres). Cela donne la possibilité d’écrire des programmes parallèles déterministes (prévus par avance, donc qui peuvent être analysés avant leur exécution).