مشخصات کتاب

Algebraic Specification of Communication Protocols

ویرایش:  
نویسندگان: S. Mauw,  G. J. Veltink (editors)  
سری: Cambridge Tracts in Theoretical Computer Science 36 
ISBN (شابک) : 9780511721625, 9780521088121 
ناشر: Cambridge University Press 
سال نشر: 2008 
تعداد صفحات: 210 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

در صورت تبدیل فایل کتاب Algebraic Specification of Communication Protocols به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب مشخصات جبری پروتکل های ارتباطی

شبکه‌های کامپیوتری مدرن اکنون دور دنیا را می‌چرخانند، اما انتقال اطلاعات در میان آنها به پروتکل‌های مختلفی بستگی دارد که رفتار فرستنده و گیرنده را تعریف می‌کنند. بنابراین واضح است که توصیف دقیق این پروتکل ها برای حفظ ارتباط هماهنگ مهم است. در این کتاب، نویسندگان از زبان خصوصیات رسمی PSF برای ارائه توصیفی واضح از چندین پروتکل ارتباطی با سطوح مختلف پیچیدگی، از پروتکل بیت متناوب تا پروتکل حلقه توکن استفاده می‌کنند. مبتدیان و همچنین متخصصان در زمینه پروتکل های ارتباطی، از هر دو روش مشخصات شرح داده شده و پروتکل های مورد بحث در این کتاب بهره مند خواهند شد.

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

Modern computer networks now circle the world, but the transmission of information among them depends on the many different protocols that define the behavior of the sender and receiver. It is clear therefore, that the accurate description of these protocols is important if harmonious communication is to be maintained. In this book the authors use the formal specification language PSF to provide an unambiguous description of several communication protocols of varying levels of complexity, ranging from the alternating bit protocol to the token ring protocol. Beginners, as well as professionals in the field of communication protocols, will benefit from both the methods of specification described, and the protocols discussed in this book.

فهرست مطالب

Cover......Page 1
Frontmatter......Page 2
Contents......Page 6
PREFACE......Page 12
1.1 Aim and Scope......Page 14
1.2 Formal Methods......Page 15
1.3 Computer Networks......Page 16
1.4 Overview......Page 19
1.5 Bibliographical Notes......Page 20
2.2 ACP......Page 22
2.3 The History of PSF......Page 23
2.4 PSF: Syntax and Semantics......Page 24
2.5 The PSF Standard Library......Page 46
2.6 The PSF-Toolkit......Page 49
2.7 Summary......Page 58
2.8 Bibliographical Notes......Page 59
3.1 Introduction......Page 60
3.2 General Description......Page 61
3.3 Alternating Bit Protocol......Page 63
3.4 Positive Acknowledgement with Retransmission Protocol......Page 69
3.5 Concurrent Alternating Bit Protocol......Page 76
3.6 Summary......Page 82
3.7 Bibliographical Notes......Page 83
4.1 Introduction......Page 84
4.2 The `One Bit\' Protocol......Page 86
4.3 The `Pipelining with Go Back n\' Protocol......Page 96
4.4 The `Nonsequential Receive with Selective Repeat\' Protocol......Page 107
4.5 The External Behaviour of an SWP......Page 121
4.6 Summary......Page 124
4.7 Bibliographical Notes......Page 125
5.1 Introduction......Page 126
5.2 A General Description of the Amoeba Transaction Protocol......Page 127
5.3 Specification of the Amoeba Transaction Protocol......Page 132
5.5 Bibliographical Notes......Page 146
6.1 Introduction......Page 148
6.2 The Logical Link Control Interface......Page 150
6.3 A Simple Token Ring Protocol: STR......Page 155
6.4 A Simple CSMA/CD Protocol: SEN......Page 163
6.6 Bibliographical Notes......Page 173
7.2 Token Ring Network, an Introduction......Page 174
7.3 Specification of a Token Ring......Page 177
7.4 The Specification......Page 178
7.5 Summary......Page 190
7.6 Bibliographical Notes......Page 191
A.2 The Library......Page 192
B.I Context-free Syntax......Page 198
B.2 Lexical Syntax......Page 201
References......Page 202
Module Index......Page 206
Subject Index......Page 208

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

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

دانلود کتاب Discontinuous groups and automorphic functions

دانلود کتاب Enzymatic Synthesis of Structured Triglycerides: From Laboratory to Industry

دانلود کتاب The Art of Computer Programming. Volume 4. Pre-Fascicle 0B. A Draft of Section 7.1.1: Boolean Basics

دانلود کتاب Arbeitswissenschaft: Grundlagen — Abgrenzungen — Probleme

دانلود کتاب Masculinity from the Inside: Gender Theory's Missing Piece