مشخصات کتاب

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 

در صورت تبدیل فایل کتاب 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

نظرات کاربران

کتاب های تصادفی

دانلود کتاب The Armenians: Past and Present in the Making of National Identity (Caucasus World: Peoples of the Caucasus)

دانلود کتاب Utopia in the Age of Globalization: Space, Representation, and the World System

دانلود کتاب Research Methods for Construction

دانلود کتاب Black Holes: A Laboratory for Testing Strong Gravity

دانلود کتاب Infrared and Raman Spectroscopy: Principles and Applications