Linearizability Proof of Stack Data.

Junyan Qian, Guo-Qing Yao, Guang-Xi Chen, Lingzhong Zhao

Browse the full ICCSA paper archive.