Data Consistency in Transactional Storage Systems: a Centralised Approach S Xiong, A Cerone, A Raad, P Gardner arXiv preprint arXiv:1901.10615, 2019 | 7 | 2019 |
Abstract specifications for concurrent maps S Xiong, PR Pinto, G Ntzik, P Gardner Programming Languages and Systems: 26th European Symposium on Programming …, 2017 | 7 | 2017 |
Parametric operational semantics for consistency models S Xiong Imperial College London, 2019 | 2 | 2019 |
Abstract specifications for concurrent maps (extended version) S Xiong, P da Rocha Pinto, G Ntzik, P Gardner Department of Computing, Imperial College London, 2017 | 1 | 2017 |
Reasoning About Concurrent Programs S XIONG Imperial College London, 2015 | | 2015 |