3 citations · 5 across the 4 of their papers we have counts for
4 papers
Taming Multirelations
Hitoshi Furusawa, Georg Struth
Binary multirelations generalise binary relations by associating elements of a set to its subsets. We study the structure and algebra of multirelations under the operations of unio…
Principles for Verification Tools: Separation Logic
Brijesh Dongol, Victor B. F. Gomes, Georg Struth
A principled approach to the design of program verification and con- struction tools is applied to separation logic. The control flow is modelled by power series with convolution a…
Convolution, Separation and Concurrency
Brijesh Dongol, Ian J. Hayes, Georg Struth
A notion of convolution is presented in the context of formal power series together with lifting constructions characterising algebras of such series, which usually are quantales.…
Concurrent Dynamic Algebra
Hitoshi Furusawa, Georg Struth
We reconstruct Peleg's concurrent dynamic logic in the context of modal Kleene algebras. We explore the algebraic structure of its multirelational semantics and develop an abstract…