Concurrent Kleene Algebra.

C. A. R. Hoare Bernhard Möller Georg Struth Ian Wehrman

Published in: CONCUR (2009)

Keyphrases

propositional logic
regular expressions
query language
data model
relational algebra
algebraic expressions
boolean algebra
mutual exclusion
algebraic structure
concurrent programming
learning algorithm
user interface
data types
set theory
concurrent execution