  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.
