HistMSO: a Logic for Reasoning About Consistency Models with MONA.

Isabelle Coget, tienne Lozes

Browse the full Coordination paper archive.