ليسلي لامبورت

من أرابيكا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث
ليسلي لامبورت
معلومات شخصية

ليسلي لامبورت (بالإنجليزية: Leslie Lamport)‏، من مواليد 17 فبراير 1941(1941-02-17)، في مدينة نيويورك، عالم حاسوب أمريكي، له إنجازات في نظم التشغيل، وفي تزامن الوقت بين الحواسيب تحديداً، كما أنه أثبت فرص حل مسألة الجنرال البيزنطي.[1][2][3]

جوائزه

مراجع

  1. ^ Lamport، Leslie (مايو 1994). "The Temporal Logic of Actions". ACM Transactions on Programming Languages and Systems. ج. 16 ع. 3: 872–923. DOI:10.1145/177492.177726. مؤرشف من الأصل في 2012-11-05. اطلع عليه بتاريخ 2007-02-02.
  2. ^ Leslie Lamport ACM Fellows 2014 نسخة محفوظة 30 مارس 2017 على موقع واي باك مشين.
  3. ^ Hoffmann، L. (2014). "Q&A Divide and Conquer: Leslie Lamport on Byzantine generals, clocks, and other tools for reasoning about concurrent systems". Communications of the ACM. ج. 57 ع. 6: 112–ff. DOI:10.1145/2601077.