دانلود کتاب Concurrency Theory (به فارسی: نظریه همزمانی) نوشته شده توسط «Howard Bowman – Rodolfo Gomez»
اطلاعات کتاب نظریه همزمانی
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Howard Bowman – Rodolfo Gomez
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2005
تعداد صفحه: 444
حجم کتاب: 8 مگابایت
کد کتاب: 9781852338954 , 1852338954
نوبت چاپ: 1
توضیحات کتاب نظریه همزمانی
نظریه همزمانی ترکیبی از یکی از رشتههای اصلی تحقیقات نظری علوم کامپیوتر است که بر زبانها و نمادهای گرافیکی برای توصیف مجموعهای از اجزای همزمان در حال تکامل که از طریق ارتباطات همزمان با یکدیگر تعامل دارند، تمرکز دارد. نماد مشخصات اصلی که در این کتاب بر روی آن متمرکز شده است LOTOS است. مقدمه ای گسترده برای این محاسبات فرآیندی خاص ارائه شده است، که نشان می دهد چگونه رویکرد با تکنیک های رقبا، مانند CCS و 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.
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.