action algebra

References.

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

Tags: Kleene algebra.