Towards Concurrent Quantitative Separation Logic.

Ira Fesefeldt Joost-Pieter Katoen Thomas Noll

Published in: CONCUR (2022)

Keyphrases

logic programming
quantitative and qualitative
classical logic
multi valued
sound and complete axiomatization
data sets
predicate logic
modal logic
logical framework
abductive reasoning
epistemic logic
temporal logic
data model
bayesian networks
delay insensitive
concurrent programming
knowledge base