Sign in

Types for Complexity of Parallel Computation in Pi-calculus.

Patrick BaillotAlexis 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