Login / Signup

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

Rupak MajumdarRamanathan S. ThinniyamGeorg Zetzsche
Published in: TACAS (1) (2021)
Keyphrases
  • shared memory
  • higher order
  • message passing
  • parallel algorithm
  • description logics
  • parallel computing
  • distributed memory
  • multi processor
  • markov random field
  • parallel computation
  • parallel programming