Georg Struth
Homepages 🌐
E-Mails 📧
Entries
2024
2023
Inner Structure, Determinism and Modal Algebra of Multirelations
by Walter Guttmann and Georg Struth
2018
2017
Partial Semigroups and Convolution Algebras
by Brijesh Dongol, Victor B. F. Gomes, Ian J. Hayes and Georg Struth
2016
Program Construction and Verification Components Based on Kleene Algebra
by Victor B. F. Gomes and Georg Struth
Kleene Algebras with Domain
by Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth and Tjark Weber
2015
2014
Kleene Algebra with Tests and Demonic Refinement Algebras
by Alasdair Armstrong, Victor B. F. Gomes and Georg Struth