• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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