CONCUR '92: Third International Conference on Concurrency Theory Stony Brook, NY, USA, August 24–27, 1992 Proceedings

این کتاب شامل مجموعه‌ای از مقالات تحقیقاتی است که پیشرفت‌های اخیر در نظریه سیستم‌های همزمان و کاربردهای آن‌ها را توصیف می‌کند. مقالات همگی در کنفرانس CONCUR '92 ارائه شد که به عنوان اولین کنفرانس در جنبه های رسمی همزمانی مطرح شد. نویسندگان شامل محققان برجسته ای مانند R. Milner، A. Pnueli، N. Lynch و V.R. پرت نتایج نشان‌دهنده پیشرفت‌هایی در درک ریاضی رفتار سیستم‌های همزمان است: موضوعات تحت پوشش شامل جبرهای فرآیند، مدل‌های همزمانی واقعی، تکنیک‌های تأیید ترکیبی، منطق زمانی، مطالعات موردی تأیید، مدل‌های سیستم‌های احتمالی و بلادرنگ، مدل‌های سیستم‌های با ساختار پویا و الگوریتم‌ها و نتایج تصمیم‌پذیری برای تحلیل سیستم. یکی از ویژگی های کلیدی CONCUR گستردگی آن است: در یک جلد تصویری از وضعیت هنر در نظریه همزمانی ارائه می دهد. بنابراین، برای محققان - و محققین احتمالی - در تجزیه و تحلیل رسمی سیستم های همزمان ضروری است.

This book contains a selection of research papers describing recent advancesin the theory of concurrent systems and their applications. The papers were all presented at the CONCUR '92 conference, which has emerged as the premiere conference on formal aspects of concurrency. The authors include such prominent researchers as R. Milner, A. Pnueli, N. Lynch, and V.R. Pratt. The results represent advances in the mathematical understanding of the behavior of concurrent systems: topics covered include process algebras, models of true concurrency, compositional verification techniques, temporal logic, verification case studies, models of probabilistic and real-time systems, models of systems with dynamic structure, and algorithms and decidability results for system analysis. A key feature of CONCUR is its breadth: in one volume it presents a snapshot of the state of the art in concurrency theory. Assuch, it is indispensible to researchers - and would-be researchers - in theformal analysis of concurrent systems.