Georg Struth
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
On decidability of concurrent Kleene algebra
Paul Brunet and others (2017) · Proceedings of the International Conference on Concurrency Theory (CONCUR)
A Program Construction and Verification Tool for Separation Logic
Brijesh Dongol and others (2015) · Mathematics of Program Construction · Springer