Inner Structure, Determinism and Modal Algebra of Multirelations by Walter Guttmann 📧 and Georg Struth 📧 May 22
Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations by Walter Guttmann 🌐 Oct 12
Kleene Algebras with Domain by Victor B. F. Gomes 🌐, Walter Guttmann 🌐, Peter Höfner 🌐, Georg Struth 🌐 and Tjark Weber 🌐 Apr 12