Faster linearizability checking via P-compositionality
Linearizability is a well-established consistency and correctness criterion for concurrent data types. An important feature of linearizability is Herlihy and Wing’s locality principle, which says that a concurrent system is linearizable if and only if all of its constituent parts (so-called objects)...
| Príomhchruthaitheoirí: | , |
|---|---|
| Rannpháirtithe: | |
| Formáid: | Conference item |
| Foilsithe / Cruthaithe: |
Springer
2015
|