Concurrent Separation Logic for Pipelined Parallelization.

Christian J. Bell Andrew W. Appel David Walker

Published in: SAS (2010)

Keyphrases

parallel processing
modal logic
logic programming
classical logic
delay insensitive
database
neural network
proof theory
data flow
shared memory
asynchronous circuits
parallel computation
formal theory
predicate logic
defeasible logic
computational properties
logical framework
multi valued
logic programs
real time