Follow
Shale Xiong
Shale Xiong
Verified email at arm.com - Homepage
Title
Cited by
Cited by
Year
Data consistency in transactional storage systems: A centralised semantics
S Xiong, A Cerone, A Raad, P Gardner
34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020
9*2020
Abstract specifications for concurrent maps
S Xiong, PR Pinto, G Ntzik, P Gardner
Programming Languages and Systems: 26th European Symposium on Programming …, 2017
82017
The system can't perform the operation now. Try again later.
Articles 1–2