Shale Xiong
Shale Xiong
Verified email at ic.ac.uk - Homepage
Title
Cited by
Cited by
Year
Abstract Specifications for Concurrent Maps
S Xiong, P da Rocha Pinto, G Ntzik, P Gardner
European Symposium on Programming, 964-990, 2017
52017
Parametric operational semantics for consistency models
S Xiong
Imperial College London, 2019
12019
Data Consistency in Transactional Storage Systems: a Centralised Approach
S Xiong, A Cerone, A Raad, P Gardner
arXiv preprint arXiv:1901.10615, 2019
2019
Reasoning About Concurrent Programs
S XIONG
Imperial College London, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–4