Exploring the Boundaries of Rely/Guarantee and Links to Linearisability

Nisansala P. Yatapanage^*

^*Corresponding author for this work

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Sort by

Computer Science