Login / Signup

Verification under causally consistent shared memory.

Ori Lahav
Published in: ACM SIGLOG News (2019)
Keyphrases