Discover how Petri nets and process algebras (CCS, CSP) model concurrency and musical polymetry. An essential guide for formalizing music.
L0) The Map of Formalisms
Explore the map of formal language formalisms. Understand how syntax, semantics, and concurrency apply to BP3. Your essential guide for the L series.