Login / Signup

Types for Complexity of Parallel Computation in Pi-Calculus.

Patrick BaillotAlexis Ghyselen
Published in: ESOP (2021)
Keyphrases
  • parallel computation
  • parallel algorithm
  • parallel processing
  • parallel implementation
  • parallel computing
  • fine grain
  • parallel programming
  • map reduce
  • pairwise
  • higher order
  • shared memory