Syntax and analytic semantics of LISA
  We provide the syntax and semantics of the LISA (for "Litmus Instruction Set Architecture") language. The parallel assembly language LISA is implemented in the herd7 tool (http://virginia.cs.ucl.ac.uk/herd/) for simulating weak consistency models. 
Jade ALglave and Patrick Cousot
cs.PL