C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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