action algebra

Last updated Aug 28, 2024

References.

• On Action Algebras (Kozen)
• Action Logic and Pure Induction (Pratt)

Tags: Kleene algebra.