弱一致性模型规约语言 cat 的语法与语义
编程语言
2016-08-31 v2
摘要
我们提供了 cat 语言的语法和语义，这是一种用于描述并行/分布式程序一致性属性的领域特定语言。该语言已在 herd7 工具 (http://diy.inria.fr/doc/herd.html) 中实现。
引用
@article{arxiv.1608.07531,
title = {Syntax and semantics of the weak consistency model specification language cat},
author = {Jade Alglave and Patrick Cousot and Luc Maranget},
journal= {arXiv preprint arXiv:1608.07531},
year = {2016}
}