Bidang komputasi terdistribusi telah gagal dalam mengembangkan teori matematika tunggal untuk menggambarkan algoritma terdistribusi. Ada beberapa 'model' dan kerangka kerja komputasi terdistribusi yang sama sekali tidak kompatibel satu sama lain. Ledakan semata-mata dari berbagai sifat temporal (asinkron, sinkron, sinkron parsial), berbagai komunikasi primitif (passing pesan vs memori bersama, siaran vs. unicast), beberapa model kesalahan (gagal berhenti, kerusakan pulih, kirim kelalaian, Bizantium, dan sebagainya) pada) telah meninggalkan kita dengan sejumlah model sistem, kerangka kerja, dan metodologi sistem yang tidak dapat dipecahkan, yang membandingkan hasil solvabilitas relatif dan batas yang lebih rendah di seluruh model dan kerangka kerja ini telah menjadi sulit, sulit dipraktekkan, dan kadang-kadang, tidak mungkin.
Pertanyaan saya sangat sederhana, mengapa begitu? Apa yang secara mendasar berbeda tentang komputasi terdistribusi (dari mitra sekuensialnya) sehingga kami belum dapat menyusun penelitian menjadi teori terpadu komputasi terdistribusi? Dengan komputasi berurutan, Mesin Turing, Fungsi Rekursif, dan Kalkulus Lambda semuanya dipotong setara. Apakah ini hanya keberuntungan, atau apakah kita benar-benar melakukan pekerjaan yang baik dalam meng-enkapsulasi komputasi sekuensial dengan cara yang belum dapat dicapai dengan komputasi terdistribusi?
Dengan kata lain, apakah komputasi terdistribusi secara inheren tidak mau menyerah pada teori yang elegan (dan jika ya, bagaimana dan mengapa?), Atau kita tidak cukup pintar untuk menemukan teori seperti itu?
Satu-satunya referensi yang dapat saya temukan yang membahas masalah ini adalah: " Menilai dua dekade penelitian teori komputasi terdistribusi " oleh Fischer dan Merritt DOI: 10.1007 / s00446-003-0096-6
Referensi atau paparan apa pun akan sangat membantu.