Person. Bernhard Möller Papers Algorithmics bird-2021-algorithmicsIFIP Advances in Information and Communication Technology · 2021 DOI Concurrent Kleene Algebra hoare2009concurrentCONCUR · 2009 DOI