A Compositional Theory of Linearizability.
Autor: | Oliveira Vale, Arthur1 arthur.oliveiravale@yale.edu, Shao, Zhong1 zhong.shao@yale.edu, Chen, Yixuan1 yixuan.chen@yale.edu |
---|---|
Zdroj: | Journal of the ACM. Apr2024, Vol. 71 Issue 2, p1-107. 107p. |
Databáze: | Business Source Ultimate |
Externí odkaz: |