A Compositional Theory of Linearizability
Oliveira Vale, Arthur, Shao, Zhong, Chen, Yixuan
Published in Proceedings of ACM on programming languages (09.01.2023)
Published in Proceedings of ACM on programming languages (09.01.2023)
Get full text
Journal Article
Layered and object-based game semantics
Oliveira Vale, Arthur, Melliès, Paul-André, Shao, Zhong, Koenig, Jérémie, Stefanesco, Léo
Published in Proceedings of ACM on programming languages (16.01.2022)
Published in Proceedings of ACM on programming languages (16.01.2022)
Get full text
Journal Article
Compositionality and Observational Refinement for Linearizability with Crashes
Oliveira Vale, Arthur, Wang, Zhongye, Chen, Yixuan, You, Peixin, Shao, Zhong
Published in Proceedings of ACM on programming languages (08.10.2024)
Published in Proceedings of ACM on programming languages (08.10.2024)
Get full text
Journal Article