7.7 Compositionality of consistency conditions

Slides Download Slides

The proof that linearizability is compositional is added to Resources. Here is a link Download Here is a link

slide 49 have a typo in the resulting sequential trace. rd(x) => 0 should be after wr(y,1) is the sequential trace This is corrected in the PDF.