摘要：基于放松内存的事务内存模型的形式化语义及验证方法的研究
作者：Sadegh Dalvandi and Brijesh Dongol
论文ID：2208.00315
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-08-02
PDF 下载： 英文版 中文版pdf翻译中