Publications & Reports

About us

Filter by

Filtered (37)

Filters

Type

Annual Report (5)
Policy (1)
Conference Papers (60)
PhD Thesis (6)
Journal Paper (8)
Report (6)

Show (37)

Cancel

Filtered (37)

Filters

Year

2023 (16)
2022 (11)
2021 (17)
2020 (17)
2019 (9)
2018 (4)
2017 (3)
2024 (8)
2025 (1)
2026 (0)

Show (37)

Cancel

Specifying and Verifying Persistent Transactional Memory

Eleni Vafeiadi Bila.

PhD Thesis, University of Surrey. 2023

Previous 23

Email: contact@vetss.org.uk

The Research Institute on
Verified Trustworthy Software Systems

Contact us

Privacy Policy
Cookie Policy
EDI Statement
Accessibility Policy

About us
Publications
News
Events

Page load link

We use cookies to ensure that we give you the best experience on our website. If you continue to use this site we will assume that you are happy with it.Ok No Privacy policy

Go to Top

Publications & Reports

Filter by

Specifying and Verifying Persistent Transactional Memory

The Research Institute on Verified Trustworthy Software Systems

The Research Institute on Verified Trustworthy Software Systems

The Research Institute on
Verified Trustworthy Software Systems

The Research Institute on
Verified Trustworthy Software Systems