Techniques for verifying transactional programs and linearizability

Taşıran, SerdarSubaşı, Ömer2024-11-092012https://hdl.handle.net/20.500.14288/5821xi, 60 l. : ill.; 30 cm.restrictedAccessProgramming languages (Electronic computers)Techniques for verifying transactional programs and linearizabilityThesis© All Rights Reserved. Accessible to Koç University Affiliated Users Only!