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