Concurrent Kleene Algebra with Tests.

Published in: RAMiCS (2014)

Keyphrases

propositional logic
query language
regular expressions
concurrent execution
algebraic expressions
boolean algebra
relational algebra
test cases
set theory
matching algorithm
real time
data model
evolutionary algorithm
multiscale
website
search engine
artificial intelligence