An Asynchronous Soundness Theorem for Concurrent Separation Logic.

Paul-André Melliès Léo Stefanesco

Published in: LICS (2018)

Keyphrases

asynchronous circuits
intuitionistic logic
delay insensitive
classical logic
defeasible logic
von neumann
databases
bayesian networks
logic programming
asynchronous communication
real time
fixed point
temporal logic
nonmonotonic logics
deontic logic
state machine