فلش‌کارت‌های آموزشی مقدمه‌ای بر Communicating Sequential Processes (CSP) و کاربردهای آن

📚 کتاب آموزشی جامع

📚 اطلاعات کتاب

عنوان کتاب: کتاب مقدمه‌ای بر Communicating Sequential Processes (CSP) و کاربردهای آن

موضوع کلی: مبانی محاسبات موازی و همزمان

موضوع میانی: مدل‌سازی و تحلیل فرایندهای همزمان

📋 سرفصل‌های کتاب (100 موضوع)

• 1. مبانی CSP
• 2. مفهوم فرآیند
• 3. مفهوم ارتباط
• 4. مفهوم توالی
• 5. نشانه‌گذاری CSP
• 6. عملگرهای پایه‌ای CSP
• 7. توقف
• 8. توقف اجباری
• 9. توقف دلخواه
• 10. توقف تصادفی
• 11. همزمانی
• 12. ترکیب موازی
• 13. ترکیب ترتیبی
• 14. انتخاب (انتخاب غیرقطعی)
• 15. انتخاب قطعی
• 16. حسابان فرآیند (Process Algebra)
• 17. جایگزینی و جانشینی
• 18. قوانین هم‌ارزی
• 19. قوانین ساده‌سازی
• 20. مفهوم کانال
• 21. ارسال و دریافت
• 22. ارسال و دریافت نامگذاری شده
• 23. کانال‌های مشترک
• 24. کانال‌های خاص
• 25. مفهوم بافر
• 26. بافر با ظرفیت صفر
• 27. بافر با ظرفیت محدود
• 28. بافر نامحدود
• 29. پیکربندی سیستم
• 30. تلفیق فرآیندها
• 31. تلفیق موازی
• 32. تلفیق ترتیبی
• 33. تلفیق انتخابی
• 34. تلفیق بافر شده
• 35. نوشتن برنامه‌های CSP
• 36. مثال‌های ساده
• 37. ماشین حساب
• 38. بازی سنگ کاغذ قیچی
• 39. سیستم صف انتظار
• 40. سیستم مدیریت ترافیک
• 41. سیستم توزیع شده
• 42. مفهوم قفل
• 43. قفل انحصاری
• 44. قفل اشتراکی
• 45. مدیریت منابع
• 46. مفهوم مانیتور
• 47. مفهوم بن‌بست (Deadlock)
• 48. تشخیص بن‌بست
• 49. جلوگیری از بن‌بست
• 50. رفع بن‌بست
• 51. مفهوم قحطی (Starvation)
• 52. تشخیص قحطی
• 53. جلوگیری از قحطی
• 54. رفع قحطی
• 55. مفهوم مسابقه (Race Condition)
• 56. مدیریت مسابقه
• 57. مفهوم سازگاری (Consistency)
• 58. مفهوم اطمینان (Liveness)
• 59. مفهوم ایمنی (Safety)
• 60. مفهوم صحت (Correctness)
• 61. اثبات صحت برنامه‌های CSP
• 62. روش اثبات مبتنی بر مدل
• 63. روش اثبات مبتنی بر خواص
• 64. تکنیک‌های مدل‌سازی
• 65. نمودار حالت
• 66. نمودار فعالیت
• 67. نمودار توالی
• 68. استفاده از ابزارهای CSP
• 69. شبیه‌سازهای CSP
• 70. ابزارهای تحلیل CSP
• 71. زبان‌های برنامه‌نویسی با الهام از CSP
• 72. زبان Occam
• 73. زبان Go
• 74. زبان Erlang
• 75. کاربرد CSP در مهندسی نرم‌افزار
• 76. سیستم‌های عامل
• 77. سیستم‌های توزیع شده
• 78. شبکه‌های کامپیوتری
• 79. سیستم‌های بلادرنگ
• 80. سیستم‌های موازی
• 81. سیستم‌های چند عاملی (Multi-agent Systems)
• 82. کاربرد CSP در مهندسی سخت‌افزار
• 83. طراحی مدارهای دیجیتال
• 84. سیستم‌های نهفته (Embedded Systems)
• 85. کاربرد CSP در علوم کامپیوتر نظری
• 86. نظریه زبان‌های برنامه‌نویسی
• 87. نظریه محاسبات
• 88. نظریه سیستم‌های همزمان
• 89. مفاهیم پیشرفته CSP
• 90. بازتاب (Refinement)
• 91. انتزاع (Abstraction)
• 92. مدل‌بندی سیستم‌های پیچیده
• 93. مدل‌سازی قابلیت اطمینان
• 94. مدل‌سازی امنیت
• 95. مقایسه CSP با مدل‌های همزمانی دیگر
• 96. نظریه صف (Queueing Theory)
• 97. مدل‌های پتری (Petri Nets)
• 98. مدل‌های مارکوف (Markov Models)
• 99. آینده CSP
• 100. تحقیقات جاری در CSP