L11) Beyond the Three Semantics
Classical semantics have limits. Explore advanced semantics: translational, process, and algebraic. Understand compilers, concurrent systems, and data types.
Tag: #bisimulation
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.