Sign in
On algebraic abstractions for concurrent separation logics.
Frantisek Farka
Aleksandar Nanevski
Anindya Banerjee
Germán Andrés Delbianco
Ignacio Fábregas
Published in:
Proc. ACM Program. Lang. (2021)
Keyphrases
</>
expressive power
sets of probability measures
inference rules
modal logic
high level
mutual exclusion
classical logic
trade off
proof theory
propositional calculus
higher order
programming language
temporal logic
database
genetic algorithm
algebraic geometry
concurrent programs
neural network