L12) Petri Nets and Process Algebras
Discover how Petri nets and process algebras (CCS, CSP) model concurrency and musical polymetry. An essential guide for formalizing music.
Tag: #concurrency
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.