Independence and Concurrent Separation Logic.

Jonathan Hayman Glynn Winskel

Published in: LICS (2006)

Keyphrases

logic programming
automated reasoning
classical logic
modal logic
computational properties
abductive reasoning
real time
databases
database systems
reinforcement learning
conditional independence
probability theory
defeasible logic
nonmonotonic logics
concurrent execution