Concurrent Kleene algebra with tests and branching automata.
Peter JipsenM. Andrew MoshierPublished in: J. Log. Algebraic Methods Program. (2016)
Keyphrases
- regular expressions
- query language
- propositional logic
- finite automata
- data model
- tree automata
- probabilistic automata
- cellular automata
- learning algorithm
- relational algebra
- search tree
- expressive power
- pattern matching
- test cases
- boolean algebra
- information systems
- mutual exclusion
- databases
- algebraic expressions
- set theory
- multiple choice
- finite state machines
- xml schema
- branch and bound
- natural language
- optimal solution
- case study