Georg Struth

Transformer Semantics
by Georg Struth

Quantales
by Georg Struth

Properties of Orderings and Lattices
by Georg Struth

Partial Semigroups and Convolution Algebras
by Brijesh Dongol, Victor B. F. Gomes, Ian J. Hayes and Georg Struth

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

Binary Multirelations
by Hitoshi Furusawa and Georg Struth

Residuated Lattices
by Victor B. F. Gomes and Georg Struth

Regular Algebras
by Simon Foster and Georg Struth

Relation Algebra
by Alasdair Armstrong, Simon Foster, Georg Struth and Tjark Weber

Kleene Algebra with Tests and Demonic Refinement Algebras
by Alasdair Armstrong, Victor B. F. Gomes and Georg Struth

Kleene Algebra
by Alasdair Armstrong, Georg Struth and Tjark Weber