Syntax and semantics of the weak consistency model specification   language cat
  We provide the syntax and semantics of the cat language, a domain specific language to describe consistency properties of parallel/distributed programs. The language is implemented in the herd7 too (http://diy.inria.fr/doc/herd.html)l. 
Jade Alglave, Patrick Cousot, Luc Maranget
cs.PL