Developments in Concurrent Kleene Algebra.
Tony HoareStephan van StadenBernhard MöllerGeorg StruthJules VillardHuibiao ZhuPeter W. O'HearnPublished in: RAMiCS (2014)
Keyphrases
- propositional logic
- regular expressions
- data model
- query language
- artificial intelligence
- algebraic expressions
- algebraic operations
- boolean algebra
- data sets
- concurrent programs
- relational algebra
- data structure
- information systems
- hierarchical reinforcement learning
- algebraic geometry
- machine learning
- database
- hybrid automata