Cited By
View all- Oliveira Vale AShao ZChen Y(2024)A Compositional Theory of LinearizabilityJournal of the ACM10.1145/364366871:2(1-107)Online publication date: 27-Jan-2024
- Asteasuain F(2024)Formally Verifying Data Science Systems with a Sound an Correct FormalismComputer Science – CACIC 202310.1007/978-3-031-62245-8_9(121-136)Online publication date: 23-Jun-2024
- Oliveira Vale AShao ZChen Y(2023)A Compositional Theory of LinearizabilityProceedings of the ACM on Programming Languages10.1145/35712317:POPL(1089-1120)Online publication date: 9-Jan-2023
- Show More Cited By