دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب A calculus of communicating systems
دانلود کتاب حسابگر سیستم های ارتباطی
مشخصات کتاب
A calculus of communicating systems
ویرایش: 1
نویسندگان: Robin Milner (eds.)
سری: Lecture Notes in Computer Science 92
ISBN (شابک) : 0387102353, 9780387102351
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 1980
تعداد صفحات: 176
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 30,000
کلمات کلیدی مربوط به کتاب حسابگر سیستم های ارتباطی: اقتصاد/علوم مدیریت، عمومی، علوم کامپیوتر، عمومی
در صورت تبدیل فایل کتاب A calculus of communicating systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب حسابگر سیستم های ارتباطی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
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
