Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra.
Paul BrunetDavid J. PymPublished in: CoRR (2019)
Keyphrases
- propositional logic
- regular expressions
- data model
- algebraic expressions
- information security
- query language
- object oriented
- relational algebra
- privacy protection
- distributive lattices
- database
- concurrent programs
- protection scheme
- axis parallel
- individual privacy
- spatial locality
- set theory
- belief revision
- information systems