papers
Publications (13)
cs.LO2014
Concurrent Dynamic Algebra
Hitoshi Furusawa, Georg Struth
cs.LO2013
Probabilistic Concurrent Kleene Algebra
Annabelle McIver, Tahiry Rabehaja, Georg Struth
cs.LO2014
Principles for Verification Tools: Separation Logic
Brijesh Dongol, Victor B. F. Gomes, Georg Struth
cs.LO2014
Convolution, Separation and Concurrency
Brijesh Dongol, Ian J. Hayes, Georg Struth
cs.FL2013
Weak Concurrent Kleene Algebra with Application to Algebraic Verification
Annabelle McIver, Tahiry Rabehaja, Georg Struth
cs.LO2017
Kleisli, Parikh and Peleg Compositions and Liftings for Multirelations
Hitoshi Furusawa, Yasuo Kawahara, Georg Struth +1
cs.LO2015
On the Expressive Power of Kleene Algebra with Domain
Georg Struth
cs.LO2013
An Event Structure Model for Probabilistic Concurrent Kleene Algebra
Annabelle McIver, Tahiry Rabehaja, Georg Struth
cs.PL2011
Dependently Typed Programming based on Automated Theorem Proving
Alasdair Armstrong, Simon Foster, Georg Struth
cs.FL2017
Completeness Theorems for Pomset Languages and Concurrent Kleene Algebras
Michael R Laurence, Georg Struth
cs.LO2015
Taming Multirelations
Hitoshi Furusawa, Georg Struth
cs.LO2015
Probabilistic Rely-guarantee Calculus
Annabelle McIver, Tahiry Rabehaja, Georg Struth
cs.LO2013
Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools
Alasdair Armstrong, Victor B. F. Gomes, Georg Struth