Login / Signup
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