Similar Items: Non-Deterministic Kleene Coalgebras
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
- Deciding Kleene Algebras in Coq
- Completions of Kleene's second model
- Computing the Width of Non-deterministic Automata
- On Tools for Completeness of Kleene Algebra with Hypotheses
- Kleene Theorem for Higher-Dimensional Automata