HistMSO is a new MSO logic that expresses 39 of 42 consistency models and reduces satisfiability and model-checking to MSO over words via the MONA tool.
https://www.microsoft.com/en- us/research/wp-content/uploads/2016/02/final-printversion-10-5-14.pdf (2014) HistMSO: a Logic for Reasoning about Consistency Models with MONA 21
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
HistMSO: A Logic for Reasoning about Consistency Models with MONA
HistMSO is a new MSO logic that expresses 39 of 42 consistency models and reduces satisfiability and model-checking to MSO over words via the MONA tool.