Découvrez comment les réseaux de Petri et algèbres de processus (CCS, CSP) modélisent la concurrence et la polymétrie musicale. Un guide essentiel pour formaliser la musique.
L11) Au-delà des trois sémantiques
Les sémantiques classiques ont leurs limites. Découvrez les sémantiques avancées : traductionnelle, de processus et algébrique. Donnez du sens aux compilateurs, systèmes concurrents et types de données.