دانلود کتاب A Calculus of Communicating Systems
دسته: ریاضیات گسسته
کتاب حساب سیستم های ارتباطی نسخه زبان اصلی
دانلود کتاب حساب سیستم های ارتباطی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب A Calculus of Communicating Systems
نام کتاب : A Calculus of Communicating Systems
ویرایش : 1
عنوان ترجمه شده به فارسی : حساب سیستم های ارتباطی
سری : Lecture Notes in Computer Science 92
نویسندگان : Robin Milner (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1980
تعداد صفحات : 176
ISBN (شابک) : 3540102353 , 9783540102359
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 2 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
فهرست مطالب :
0. Introduction....Pages 1-8
1. Experimenting on nondeterministic machines....Pages 9-18
2. Synchronization....Pages 19-32
3. A case study in synchronization and proof techniques....Pages 33-46
4. Case studies in value-communication....Pages 47-64
5. Syntax and semantics of CCS....Pages 65-83
6. Communication trees (CTs) as a model of CCS....Pages 84-97
7. Observation equivalence and its properties....Pages 98-110
8. Some proofs about data structures....Pages 111-125
9. Translation into CCS....Pages 126-137
10. Determinancy and confluence....Pages 138-157
11. Conclusion....Pages 158-165
پست ها تصادفی