C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Proving Highly-Concurrent Traversals Correct.
Yotam M. Y. Feldman
Artem Khyzha
Constantin Enea
Adam Morrison
Aleksandar Nanevski
Noam Rinetzky
Sharon Shoham
Published in:
CoRR (2020)
Keyphrases
</>
real world
mutual exclusion
databases
artificial intelligence
computer vision
high level
information technology
wireless sensor networks
concurrent execution