Mengapa Segalanya Berhenti Saat Semua Saling Menunggu: Teori Deadlock, Graf Alokasi Sumber Daya, Algoritma Bankir, dan Livelock
Teorema CAP dan Sistem Terdistribusi (Pertukaran antara Konsistensi, Ketersediaan, dan Toleransi Partisi)