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.
L0) La carte des formalismes
Explorez la carte des formalismes des langages formels. Comprenez comment syntaxe, sémantique et concurrence s’appliquent à BP3. Votre guide essentiel pour la série L.