Developments in concurrent Kleene algebra.
Tony HoareStephan van StadenBernhard MöllerGeorg StruthHuibiao ZhuPublished in: J. Log. Algebraic Methods Program. (2016)
Keyphrases
- propositional logic
- algebraic geometry
- relational algebra
- data model
- query language
- algebraic expressions
- algebraic structure
- regular expressions
- real numbers
- mutual exclusion
- data sets
- multiscale
- similarity measure
- social networks
- machine learning
- boolean algebra
- concurrent execution
- neural network
- laplace transform
- algebraic structures