4 ms·
It implements the algorithm in "Faster linearizability checking via P-compositionality": https://arxiv.org/pdf/1504.00204.pdf https://arxiv.org/pdf/1504.00204.p
by jinqueeny 8y ago
It implements the algorithm in "Faster linearizability checking via P-compositionality": https://arxiv.org/pdf/1504.00204.pdf https://arxiv.org/pdf/1504.00204.pdf