Steven Schaefer
About Me
Research
New
⌕
Search
/
Person.
Tony Hoare
Papers
Concurrent Kleene Algebra
hoare2009concurrent
CONCUR
· 2009
DOI
tonyhoare
person
entries/rolodex/tonyhoare.hel