Abstract
These files contain the mechanised proof of an implementation of the RCU synchronisation method in a Treiber stack.
- Title
- Proof Files
- Creators
- Mikhail SemenyukBrijesh Dongol
- Publisher
- figshare
- Date published
- 01/01/2023
- Identifiers
- 99843876202346
- Academic Unit
- School of Computer Science and Electronic Engineering
- Language
- English
- Resource Type
- Conference proceeding