C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations.
Hagit Attiya
Constantin Enea
Jennifer 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