Login / Signup
A boundary between decidability and undecidability for parallel program schemata (Extended Abstract).
Raymond E. Miller
Published in:
Proving Assertions About Programs (1972)
Keyphrases
</>
extended abstract
description logics
parallel processing
parallel implementation
computer programs
query answering
shared memory
massively parallel
programming environment
parallel computation
multi threaded
knowledge base
query processing
distributed memory