Login / Signup

Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations.

Hagit AttiyaConstantin EneaJennifer L. Welch
Published in: PODC (2022)
Keyphrases
  • concurrent programs
  • concurrent programming
  • process algebra
  • web applications
  • databases
  • artificial intelligence
  • quadratic assignment problem
  • database
  • programming language
  • formal methods
  • concurrent processes