Login / Signup
Types for Complexity of Parallel Computation in Pi-calculus.
Patrick Baillot
Alexis Ghyselen
Published in:
ACM Trans. Program. Lang. Syst. (2022)
Keyphrases
</>
parallel computation
parallel algorithm
parallel implementation
fine grain
parallel processing
parallel computing
parallel programming
data model
dynamic programming
shared memory
integral image