کتاب الکترونیکی

کاربردهای جبر فرآیندی

Applications of Process Algebra

دانلود کتاب Applications of Process Algebra (به فارسی: کاربردهای جبر فرآیندی) نوشته شده توسط «J. C. M. Baeten»


اطلاعات کتاب کاربردهای جبر فرآیندی

موضوع اصلی: الگوریتم ها و ساختارهای داده

نوع: کتاب الکترونیکی

ناشر: Cambridge University Press

نویسنده: J. C. M. Baeten

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2004

تعداد صفحه: 329

حجم کتاب: 2 مگابایت

کد کتاب: 0511608845 , 9780521607506 , 9780521400282 , 0521400287 , 9780511608841 , 0521607507

توضیحات کتاب کاربردهای جبر فرآیندی

این کتاب کاربردهای تئوری جبر فرآیند یا جبر فرآیندهای ارتباطی (ACP) را ارائه می دهد، که مطالعه فرآیندهای همزمان یا ارتباطی است که با استفاده از یک چارچوب جبری مورد مطالعه قرار می گیرد. رویکرد بدیهی است. نویسندگان ساختارهایی را در نظر می گیرند که مجموعه ای از بدیهیات عمدتاً معادله ای هستند که به چندین عملگر مجهز هستند. بنابراین اصطلاح «جبر» در معنای مدلی-نظری به کار می رود. رویکرد بدیهی فرد را قادر می سازد تا حوزه نظریه های فرآیند را سازماندهی کند. این تئوری به طور سیستماتیک برای تعدادی از موقعیت‌ها از جمله الگوریتم‌های سیستولیک، معناشناسی زبان شی‌گرا و پروتکل‌ها اعمال می‌شود. توسط دانشمندان کامپیوتری که در برنامه نویسی موازی کار می کنند استقبال خواهد شد.


This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communicating processes studied using an algebraic framework. The approach is axiomatic; the authors consider structures that are some set of mostly equational axioms, which are equipped with several operators. Thus the term ‘algebra’ is used in the model-theoretic sense. The axiomatic approach enables one to organize the field of process theories. The theory is applied systematically to a number of situations, including systolic algorithms, semantics of an object-oriented language, and protocols. It will be welcomed by computer scientists working in parallel programming.

دانلود کتاب «کاربردهای جبر فرآیندی»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.