Person. Georg Struth

Papers

Concurrent Kleene Algebra hoare2009concurrentCONCUR · 2009
DOI
georgstruth person entries/rolodex/georgstruth.hel