What's Decidable About Causally Consistent Shared Memory?-MedSci.cn - 梅斯（MedSci）

What's Decidable About Causally Consistent Shared Memory?

Lahav, O; Boker, U

Lahav, O (通讯作者)，Tel Aviv Univ, Tel Aviv, Israel.

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2022; 44 (2):

科室
- - 订阅+
  - 更多科室
工具
服务