Foundations of Concurrent Kleene Algebra.

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

Published in: RelMiCS (2009)

Keyphrases

propositional logic
regular expressions
artificial intelligence
data model
query language
user interface
relational algebra
algebraic structure
algebraic operations
concurrent execution
real time
neural network
multiscale
real numbers
mutual exclusion
boolean algebra