گیلبرت و لینچ آن را صوری کردند. دربارهی latency یا زمانی که partition نیست چیزی نمیگوید؛ PACELC و linearizability را ببینید.
CAP theorem
هنگام network partition سیستم باید یا linearizability را رها کند یا availability را، برای عملیاتی که نمیتواند کامل کند.