Alone Together: Compositional Reasoning and Inference for Weak Isolation

Publication
Symposium on Principles of Programming Languages
Date
Links