Login / Signup

General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond.

Rupak MajumdarRamanathan S. ThinniyamGeorg Zetzsche
Published in: Log. Methods Comput. Sci. (2022)
Keyphrases
  • shared memory
  • higher order
  • parallel algorithm
  • message passing
  • parallel computing
  • multi processor
  • distributed memory
  • markov random field
  • parallel programming