Semantics of Parallelism: Non-Interleaving Representation of Behaviour

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

Semantics of Parallelism is the only book which provides a unified treatment of the non-interleaving approach to process semantics (as opposed to the interleaving approach of the process algebraists). Many results found in this book are collected for the first time outside conference and journal articles on the mathematics of non-interleaving semantics. It gives the reader a unified view of various attempts to model parallelism within one conceptual frame work. It is aimed at postgraduates in theoretical computer science and academics who are teaching and researching in the modelling of discrete, concurrent/distributed systems. Workers in the information technology industry who are interested in available theoretical studies on parallelism will also be interested in this book.