No. Title Author Year
1 A General Approach to Under-Approximate Reasoning About Concurrent Programs Raad, Azalea et al. 2023
2 Foundations of Persistent Programming (Dagstuhl Seminar 21462) Boehm, Hans-J. et al. 2022
3 Data Consistency in Transactional Storage Systems: A Centralised Semantics Xiong, Shale et al. 2020
Current Page :
Number of result pages: 1
Number of documents: 3

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI