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.
if a process has read a certain valuevfrom an object, any successive read operation will not return any value written before v
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 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.