Login / Signup
Independence and Concurrent Separation Logic
Jonathan Hayman
Glynn Winskel
Published in:
CoRR (2008)
Keyphrases
</>
database
predicate logic
information systems
database systems
concurrent programming
conditional independence
logic synthesis
classical logic
asynchronous circuits
mutual exclusion
defeasible logic
concurrent programs
dependence structure
epistemic logic
multi valued
logic programming
artificial intelligence