A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset.

Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif

Browse the full IFM paper archive.