دانلود کتاب Concurrency Theory
49,000 تومان
نظریه همزمانی
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 444 |
| حجم فایل | 7 مگابایت |
| کد کتاب | 9781852338954,1852338954 |
| نوبت چاپ | 1 |
| نویسنده | Howard Bowman, Rodolfo Gomez |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2005 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
نظریه همزمانی
نظریه همزمانی ترکیبی از یکی از رشتههای اصلی تحقیقات نظری علوم کامپیوتر است که بر زبانها و نمادهای گرافیکی برای توصیف مجموعهای از اجزای همزمان در حال تکامل که از طریق ارتباط همزمان با یکدیگر تعامل دارند، تمرکز دارد. نماد مشخصات اصلی که در این کتاب بر روی آن متمرکز شده است LOTOS است. مقدمه ای گسترده برای این محاسبات فرآیندی خاص ارائه شده است، که نشان می دهد چگونه رویکرد با تکنیک های رقیب، مانند CCS و CSP متفاوت است.
کتاب معناشناسی زمان خطی را بر اساس ردیابی پوشش می دهد. معناشناسی زمان انشعاب، با استفاده از هر دو سیستم انتقال برچسب و امتناع. و معناشناسی همزمانی واقعی، با استفاده از ساختارهای رویداد (بسته ای). علاوه بر این، این کتاب در مورد رویکردهای خودکار ارتباطی (هر دو حالت متناهی و بی نهایت) بحث می کند. چگونه می توان نظریه را به محیط زمان بندی شده تعمیم داد. و در نهایت نویسندگان نمادهای خودکار ارتباطی (وضعیت متناهی و نامتناهی) را تعمیم میدهند تا خودکارهای زماندار و خودکارهای زماندار گسسته را به دست آورند.
این کتاب نشاندهنده گذری جامع از طیف تحقیقات تئوری همزمانی است: از نحو و معناشناسی زمانبندی نشده و محاسبات فرآیندی تا خودکار. محققان و دست اندرکاران در زمینه تئوری همزمانی و همچنین دانشجویان کارشناسی ارشد و دکتری، پوشش جامع این کتاب را مطالعه ضروری خواهند یافت.
Concurrency Theory
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages and graphical notations for describing collections of simultaneously evolving components that interact through synchronous communication. The main specification notation focused on in this book is LOTOS. An extensive introduction to this particular process calculus is given, highlighting how the approach differs from competitor techniques, such as CCS and CSP.
The book covers linear-time semantics, based on traces; branching-time semantics, using both labeled transition systems and refusals; and true concurrency semantics, using (bundle) event structures. In addition, the book discusses communicating automata approaches (both finite and infinite state); how the theory can be generalised to the timed setting; and, finally the authors generalise the (finite and infinite state) communicating automata notations to yield timed automata and discrete timed automata.
This book represents a comprehensive pass through the spectrum of concurrency theory research: From untimed to timed syntax and semantics and process calculi to automata. Researchers and practitioners in the field of concurrency theory, as well as MSc and PhD students, will find the comprehensive coverage in this book essential reading.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.