Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra.
Paul BrunetDavid J. PymPublished in: FSCD (2020)
Keyphrases
- propositional logic
- query language
- regular expressions
- data model
- relational algebra
- information security
- data sets
- algebraic expressions
- laplace transform
- data protection
- algebraic structure
- spatial locality
- algebraic geometry
- concurrent execution
- relation algebra
- real time
- protection scheme
- algebraic operations
- real numbers
- response time
- special case