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 […]
En poursuivant votre navigation sur ce site, vous acceptez l'installation et l'utilisation de cookies, dans le respect de votre vie privée Mentions légales..