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