transition system

Last updated Jul 23, 2024

• monoidal transition system
• effectful transition system
• effectful transition systems in do-notation

Literature.

• Formal Verification of Parallel Programs (Keller)