L12) Réseaux de Petri et algèbres de processus
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.
Étiquette : #bisimulation
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.