ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب A distributed pi-calculus

دانلود کتاب یک حساب حساب توزیع شده

A distributed pi-calculus

مشخصات کتاب

A distributed pi-calculus

دسته بندی: تحلیل و بررسی
ویرایش: 1 
نویسندگان:   
سری:  
ISBN (شابک) : 9780521873307, 0521873304 
ناشر: Cambridge University Press 
سال نشر: 2007 
تعداد صفحات: 279 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب A distributed pi-calculus به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب یک حساب حساب توزیع شده

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


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

Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behavior are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behavior of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and a primitive migration construct. A mathematical theory of the behavior of these distributed systems is developed, in which the presence of types plays a major role. It is also shown how in principle this theory can be used to develop verification techniques for guaranteeing the behavior of distributed agents. The text is accessible to computer scientists with a minimal background in discrete mathematics. It contains an elementary account of the pi-calculus, and the associated theory of bisimulations. It also develops the type theory required by Dpi from first principles.



فهرست مطالب

Cover Page......Page 1
A Distributed Pi-calculus......Page 3
Title Page......Page 5
ISBN 0521873304......Page 6
Dedication......Page 7
Contents (with page links)......Page 9
Preface......Page 11
Structure......Page 15
Acknowledgements......Page 19
1.1 Induction......Page 21
1.2 Coinduction......Page 24
1.3 Bisimulation equivalence......Page 26
2.1 The language API......Page 30
2.2 Reduction semantics for API......Page 36
2.3 An action semantics for API......Page 47
2.4 A coinductive behavioural equivalence for API......Page 54
2.5 Contextual equivalences......Page 57
2.6 An observational lts for API......Page 63
2.7 Justifying bisimulation equivalence contextually......Page 67
2.8 Questions......Page 72
3.1 Runtime errors......Page 75
3.2 Typechecking with simple types......Page 80
3.3 Properties of typechecking......Page 85
3.4 Types as capabilities......Page 92
3.4.1 Capability types and environments......Page 94
3.4.2 Type checking......Page 100
3.4.3 Subject reduction......Page 106
3.5 Questions......Page 113
4 Types and behaviour in API......Page 116
4.1 Actions-in-context for API......Page 118
4.1.1 The role of type environments......Page 123
4.1.2 Subject reduction......Page 127
4.1.3 Relation with reduction semantics......Page 129
4.2 Typed bisimulation equivalence......Page 132
4.2.1 The definition......Page 133
4.2.2 Compositionality......Page 137
4.3 Questions......Page 142
5 A distributed asynchronous pi-calculus......Page 144
5.1 The language ADPI......Page 147
5.2 Access control types for ADPI......Page 159
5.2.1 The types......Page 160
5.2.2 Type environments......Page 162
5.2.3 Typechecking......Page 167
5.2.4 Examples......Page 170
5.3 Subject reduction for ADPI......Page 179
5.4 Type safety for ADPI......Page 189
5.4.1 TAGGED-ADPI......Page 193
5.4.2 Types versus tags......Page 200
5.5 Distributed consistency of local channels......Page 205
5.6 Questions......Page 211
6 Behavioural equivalences for aDpi......Page 214
6.1 Actions-in-context for ADPI......Page 215
6.2 Typed bisimulation equivalence for ADPI......Page 220
6.3 Describing bisimulations......Page 222
6.4 Servers and clients......Page 235
6.5 Modelling a firewall......Page 241
6.6 Typed contextual equivalences......Page 246
6.7 Justifying bisimulation equivalence contextually in ADPI......Page 250
6.8 Questions......Page 262
Sources......Page 264
List of figures......Page 268
Notation......Page 270
Bibliography......Page 274
Index (with page links)......Page 277




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد