原名:Hoare-Style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects
作品简介:i.sergey@ucl.ac.uk。 {阿莱克斯·纳涅夫斯基。不同的条件，例如同一现成逻辑中的 CAL、QC 和 QQC。 for 1 对应于 T1 的环境，将 1 换成 2。在版本中，我们不固定历史的特定形状。我们做.. P1(x1,aJ,x2·∪aO),P2(x2,aJ,x1·∪aO)。特雷布……
资源下载
VIP免费升级VIP
