Weak Concurrent Kleene Algebra with Application to Algebraic Verification

Annabelle McIver Tahiry M. Rabehaja Georg Struth

Published in: CoRR (2013)

Keyphrases

search algorithm
algebraic expressions
real world
information retrieval
artificial intelligence
user interface
query processing
query language
real time
data mining
machine learning
multiscale
data structure
regular expressions
concurrent programs
algebraic structures