برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Introduction to process algebra

دانلود کتاب مقدمه ای بر جبر پردازش

مشخصات کتاب

Introduction to process algebra

ویرایش: [2nd ed.] 
نویسندگان: Wan Fokkink  
سری: Texts in Theoretical Computer Science. An EATCS Series 
ISBN (شابک) : 9783540665793, 354066579X 
ناشر: Springer 
سال نشر: 2007 
تعداد صفحات: 175 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 984 Kb

قیمت کتاب (تومان) : 46,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 1

در صورت تبدیل فایل کتاب Introduction to process algebra به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مقدمه ای بر جبر پردازش نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب مقدمه ای بر جبر پردازش

دستکاری خودکار و نیمه خودکار سیستم های به اصطلاح انتقال برچسب به وسیله ای مهم در کشف نقص در سیستم های نرم افزاری و سخت افزاری تبدیل شده است. جبر فرآیندی برای بیان چنین سیستم‌های انتقال برچسب‌گذاری‌شده به صورت جبری توسعه داده شده است، که روش‌های دستکاری را با استفاده از منطق معادله و بازنویسی عبارت افزایش می‌دهد. تئوری جبر فرآیندی در بیست سال گذشته به سرعت توسعه یافته است، و ابزارهای تأیید بر اساس جبر فرآیند، اغلب با همکاری تکنیک های مربوط به بررسی مدل، توسعه یافته اند. این کتاب درسی مقدمه ای کامل با مبانی جبر فرآیندی و کاربردهای آن ارائه می دهد.

توضیحاتی درمورد کتاب به خارجی

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting. The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.

فهرست مطالب

1. Introduction......Page 10
2.1 Basic Process Terms......Page 16
2.2 Transition Rules for BPA......Page 17
2.3 Bisimulation Equivalence......Page 19
2.4 Axioms for BPA......Page 21
3.1 Parallelism and Communication......Page 28
3.2 Left Merge and Communication Merge......Page 30
3.3 Axioms for PAP......Page 31
3.4 Deadlock and Encapsulation......Page 36
4.1 Guarded Recursive Specifications......Page 42
4.2 Transition Rules for Guarded Recursion......Page 44
4.3 Recursive Definition and Specification Principles......Page 47
4.4 Completeness for Regular Processes......Page 50
4.5 Approximation Induction Principle......Page 53
5.1 Rooted Branching Bisimulation Equivalence......Page 58
5.2 Guarded Linear Recursion Revisited......Page 62
5.3 Axioms for the Silent Step......Page 64
5.4 Abstraction Operators......Page 68
5.5 An Example with Buffers......Page 71
5.6 Cluster Fair Abstraction Rule......Page 74
6.1 Alternating Bit Protocol......Page 80
6.2 Bounded Retransmission Protocol......Page 89
6.3 Verification Techniques......Page 99
6.4 Tools......Page 100
7.1 Renaming......Page 106
7.2 State Operator......Page 108
7.3 Priorities......Page 114
7.4 Further Extensions......Page 118
A.1 Signatures......Page 122
A.2 Axiomatisations......Page 123
A.3 Initial Models......Page 124
A.4 Term Rewriting......Page 126
B.1 Transition System Specifications......Page 132
B.2 The Meaning of Negative Premises......Page 134
B.3 Bisimulation as a Congruence......Page 138
B.4 Branching Bisimulation as a Congruence......Page 141
B.5 Conservative Extension......Page 145
B.6 Modal Logics......Page 147
Solutions to Selected Exercises......Page 150
References......Page 164
Index......Page 176