C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Linearizable Implementations Suffice for Termination of Randomized Concurrent Programs.
Hagit Attiya
Constantin Enea
Jennifer L. Welch
Published in:
CoRR (2021)
Keyphrases
</>
concurrent programs
concurrent programming
quadratic assignment problem
process algebra
web applications
concurrent processes
database
programming language