排队

此软件的关键字
zbMATH参考文献(参考
7篇文章
参考)
Smith,Graeme;Winter,Kirsten;Colvin,Robert J.:硬件弱内存模型的线性化(2020) Wang,Chao;Lv,Yi;Wu,Peng:TSO到TSO的线性化是不可判定的(2018) Jones,Cliff B.;Hayes,Ian J.;Colvin,Robert J.:在并发的正式方法中平衡表现力(2015) Shellhorn,Gerhard;Derrick,John;Wehrheim,Heike:并发数据结构线性化的可靠和完整的证明技术(2014) Gotsman,Alexey;Yang,Hongseok:所有权转移的线性化(2013) Burckhardt,Sebastian;Gotsman,Alexey;Musuvathi,Madanlal;Yang,Hongseok:TSO内存模型上的并发库正确性(2012) Gotsman,Alexey;Yang,Hongseok:保持活力的原子抽象(2011)