On Algebraic Abstractions for Concurrent Separation Logics.
Frantisek FarkaAleksandar NanevskiAnindya BanerjeeGermán Andrés DelbiancoIgnacio FábregasPublished in: CoRR (2020)
Keyphrases
- sets of probability measures
- modal logic
- expressive power
- high level
- inference rules
- mutual exclusion
- programming language
- algebraic geometry
- propositional dynamic logic
- higher order
- database management systems
- data model
- multi agent
- machine learning
- computational properties
- nonmonotonic logics
- proof theoretic
- propositional calculus
- concurrent programs
- information systems