concurrency and synchronization; concurrent data structures; lineariazability; optimistic concurrency control; verification and formal methods;
机译:从混乱中订购:使用当地视图证明可直接性
机译:用局部证明义务证明多集的线性化
机译:用归约法证明线性化
机译:从混乱中订购:使用当地视图证明可直接性
机译:量子系统中的可积性和混沌(从几何和动力学对称性角度看)。
机译:PROVE-IT证明越低越好:相反的看法
机译:通过线性化证明不透明度:一种完善的方法
机译:非线性离散时间系统的近似和局部线性化