Concurrent Kleene Algebra and its Foundations.
Tony HoareBernhard MöllerGeorg StruthIan WehrmanPublished in: J. Log. Algebraic Methods Program. (2011)
Keyphrases
- regular expressions
- propositional logic
- query language
- data model
- mutual exclusion
- algebraic expressions
- algebraic structures
- relational algebra
- artificial intelligence
- boolean algebra
- social networks
- laplace transform
- concurrent execution
- relation algebra
- real world
- algebraic geometry
- algebraic structure
- expressive power
- multiscale
- machine learning