Cited By
View all- Castañeda ARajsbaum SRaynal M(2017)Long-Lived TasksNetworked Systems10.1007/978-3-319-59647-1_32(439-454)Online publication date: 14-May-2017
- Sergey INanevski ABanerjee ADelbianco G(2016)Hoare-style specifications as correctness conditions for non-linearizable concurrent objectsACM SIGPLAN Notices10.1145/3022671.298399951:10(92-110)Online publication date: 19-Oct-2016
- Sergey INanevski ABanerjee ADelbianco GVisser ESmaragdakis Y(2016)Hoare-style specifications as correctness conditions for non-linearizable concurrent objectsProceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications10.1145/2983990.2983999(92-110)Online publication date: 19-Oct-2016
- Show More Cited By