فلش‌کارت‌های آموزشی حساب فرآیندها (Calculus of Processes)

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

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

عنوان کتاب: کتاب حساب فرآیندها (Calculus of Processes)

موضوع کلی: مبانی نظری سیستم‌های همزمان و ارتباطی

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

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

• 1. مقدمه‌ای بر حساب فرآیندها
• 2. مدل CSP
• 3. فرآیندهای پایه
• 4. نشانه‌ها (Events)
• 5. ترکیب توالی (Sequential Composition)
• 6. ترکیب موازی (Parallel Composition)
• 7. انتخاب (Choice)
• 8. انتخاب داخلی (Internal Choice)
• 9. انتخاب خارجی (External Choice)
• 10. مخفی‌سازی (Hiding)
• 11. پیکربندی (Configuration)
• 12. انتقال حالت (State Transition)
• 13. زبان ارتباطات
• 14. همگام‌سازی (Synchronization)
• 15. ارتباط یک‌طرفه (One-way Communication)
• 16. ارتباط دوطرفه (Two-way Communication)
• 17. کانال‌ها (Channels)
• 18. بافرها (Buffers)
• 19. اتصال (Connection)
• 20. توزیع (Distribution)
• 21. بازخورد (Feedback)
• 22. مسدودسازی (Blocking)
• 23. عدم مسدودسازی (Non-blocking)
• 24. زمان‌بندی (Scheduling)
• 25. قوانین انتقال (Transition Rules)
• 26. حالات (States)
• 27. زیرحالات (Substates)
• 28. حالات پایانی (Terminal States)
• 29. حالات مسدود (Deadlocked States)
• 30. حالات قفل شده (Livelocked States)
• 31. انواع فرآیندها
• 32. فرآیندهای ثابت (Constant Processes)
• 33. فرآیندهای متغیر (Variable Processes)
• 34. فرآیندهای بازگشتی (Recursive Processes)
• 35. فرآیند صفر (The Zero Process)
• 36. فرآیند توقف (The Stop Process)
• 37. فرآیند شروع (The Skip Process)
• 38. هم‌ارزی (Equivalence)
• 39. هم‌ارزی رفتاری (Behavioral Equivalence)
• 40. هم‌ارزی لغوی (Linguistic Equivalence)
• 41. هم‌ارزی ساختاری (Structural Equivalence)
• 42. قضایای هم‌ارزی (Equivalence Theorems)
• 43. تحلیل سیستم‌ها
• 44. مدل‌سازی سیستم‌ها
• 45. طراحی سیستم‌ها
• 46. اعتبارسنجی سیستم‌ها
• 47. بررسی صحت (Correctness Checking)
• 48. اثبات خواص (Property Proving)
• 49. تحلیل انسداد (Deadlock Analysis)
• 50. تحلیل قفل شدن (Livelock Analysis)
• 51. تحلیل منابع (Resource Analysis)
• 52. مدل‌سازی شبکه‌ها
• 53. مدل‌سازی سیستم‌های توزیع شده
• 54. مدل‌سازی سیستم‌های موازی
• 55. مدل‌سازی سیستم‌های همگام
• 56. مدل‌سازی معماری‌های سخت‌افزاری
• 57. مدل‌سازی پروتکل‌های ارتباطی
• 58. مدل‌سازی سیستم‌های عامل
• 59. مدل‌سازی پایگاه‌های داده
• 60. مدل‌سازی سیستم‌های نهفته
• 61. کاربردها در هوش مصنوعی
• 62. کاربردها در رباتیک
• 63. کاربردها در شبکه‌های کامپیوتری
• 64. کاربردها در سیستم‌های توزیع شده
• 65. کاربردها در سیستم‌های بلادرنگ
• 66. کاربردها در سیستم‌های تراکنشی
• 67. کاربردها در سیستم‌های توزیع شده مقیاس‌پذیر
• 68. کاربردها در سیستم‌های محاسبات ابری
• 69. کاربردها در اینترنت اشیاء
• 70. کاربردها در بلاک‌چین
• 71. مرور بر CSP
• 72. توسعه CSP
• 73. نسخه‌های مختلف CSP
• 74. رابطه CSP با سایر مدل‌ها
• 75. رابطه CSP با نظریه زبان‌های رسمی
• 76. رابطه CSP با نظریه ماشین‌های حالات
• 77. رابطه CSP با نظریه گراف
• 78. رابطه CSP با منطق موجهات (Modal Logic)
• 79. رابطه CSP با منطق زمانی (Temporal Logic)
• 80. مفاهیم پیشرفته در CSP
• 81. انتخاب شرطی (Conditional Choice)
• 82. انتخاب غیرقطعی (Nondeterministic Choice)
• 83. انتخاب تصادفی (Random Choice)
• 84. انتقال حالت با پارامتر (Parametrized State Transitions)
• 85. فرآیندهای پویا (Dynamic Processes)
• 86. فرآیندهای پارامتری (Parametric Processes)
• 87. سیستم‌های با حافظه (Systems with Memory)
• 88. ارتباطات نامتناهی (Infinite Communication)
• 89. مدیریت خطا (Error Handling)
• 90. قابلیت اطمینان (Reliability)
• 91. تاب‌آوری (Resilience)
• 92. مقیاس‌پذیری (Scalability)
• 93. امکان‌پذیری (Feasibility)
• 94. کارایی (Efficiency)
• 95. استفاده از ابزارهای CSP
• 96. شبیه‌سازی CSP
• 97. تحلیل‌گرهای CSP
• 98. اثبات‌گرهای CSP
• 99. زبان‌های پیاده‌سازی CSP
• 100. مقایسه با ACP (Algebra of Communicating Processes)