Person. Ian Wehrman

Papers

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