Unique Parallel Decomposition for the Pi-calculus.

Matias David Lee Bas Luttik

Published in: EXPRESS/SOS (2016)

Keyphrases

databases
parallel implementation
shared memory
image decomposition
parallel hardware
website
first order logic
decomposition method
distributed memory
parallel programming
decomposition algorithm