Barriers in Concurrent Separation Logic.

Aquinas Hobor Cristian Gherghina

Published in: ESOP (2011)

Keyphrases

classical logic
asynchronous circuits
logic programming
concurrent execution
modal logic
automated reasoning
proof theory
logic synthesis
real time
data mining
probabilistic logic
set theory
digital circuits
formal theory
concurrent programming