17 citations · 20 across the 2 of their papers we have counts for
2 papers
cs.PL2016★ 17 cited
Syntax and semantics of the weak consistency model specification language cat
Jade Alglave, Patrick Cousot, Luc Maranget
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…
cs.PL2008★ 3 cited
Algebraic Pattern Matching in Join Calculus
Qin Ma, Luc Maranget
We propose an extension of the join calculus with pattern matching on algebraic data types. Our initial motivation is twofold: to provide an intuitive semantics of the interaction…