CONCUR 2006 – Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings

این جلد شامل مجموعه مقالات هفدهمین کنفرانس بین المللی تئوری همزمانی (CONCUR) است که در بن، آلمان، 27 تا 30 اوت 2006 برگزار شد. علاقه به این موضوع به عنوان دنباله ای از اهمیت و فراگیر بودن سیستم های همزمان و کاربردهای آنها و ارتباط علمی مبانی آنها به طور مداوم در حال افزایش است. دامنه CONCUR تمام حوزه های معناشناسی، منطق، و تکنیک های تایید برای سیستم های همزمان را پوشش می دهد. موضوعات شامل مدل‌ها و منطق‌های اساسی محاسبات همزمان و توزیع شده (مانند جبرهای فرآیندی، شبکه‌های پتری، مدل‌های نظری حوزه یا نظریه بازی، منطق‌های معین و زمانی)، مدل‌های تخصصی یا کلاس‌های سیستم‌ها (مانند مدارها، سیستم‌های همزمان، زمان واقعی) است. و سیستم‌های ترکیبی، سیستم‌های تصادفی، پایگاه‌های داده، سیستم‌های سیار و مهاجرتی، پروکل‌های پارامتریک، پروتکل‌های امنیتی)، تکنیک‌ها و ابزارهای راستی‌آزمایی مرتبط (مانند کاوش فضایی، بررسی مدل، ترکیب، انتزاع، کسر خودکار، آزمایش) و مدل های برنامه نویسی مرتبط (مانند توزیع شده، محدودیت یا شی گرا، بازنویسی گراف، و همچنین انواع سیستم های مرتبط، استاتیکا، ماشین های انتزاعی، و محیط ها). این جلد با مقالات دعوت شده ای که سخنرانی ها و آموزش های دعوت شده کنفرانس را پوشش می دهد، شروع می شود. 29 مقاله باقی مانده توسط کمیته P-gramme از بین 101 مقاله ارسالی پس از یک مرحله بررسی و بحث بسیار فشرده انتخاب شدند. مایلیم از اعضای کمیته برنامه و بازبینان خارجی برای کار عالی و سختشان تشکر کنیم. برنامه کنفرانس شامل سه سخنرانی دعوت شده و دو آموزش دعوت شده بود. سخنرانی های دعوت شده توسط Edward A.

This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27–30, 2006. ThepurposeoftheCONCURconferenceseriesistobringtogetherresearchers, developers and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing,as a c- sequence of the importance and ubiquity of concurrent systems and their app- cations and the scienti?c relevance of their foundations. The scope of CONCUR covers all areas of semantics, logics, and veri?cation techniques for concurrent systems. Topics include basic models and logics of concurrent and distributed computation (such as process algebras, Petri nets, domain theoretic or game theoretic models, modal and temporal logics), specialized models or classes of systems (such as circuits, synchronous systems, real-time and hybrid systems, stochastic systems, databases, mobile and migrating systems, parametric pro- cols, security protocols), related veri?cation techniques and tools (such as sta- spaceexploration,model-checking,synthesis,abstraction,automated deduction, testing), and related programming models (such as distributed, constraint- or object-oriented,graphrewriting,aswellasassociatedtypesystems,staticana- ses, abstract machines, and environments). This volume starts with ?ve invited papers covering the invited lectures and tutorials of the conference. The remaining 29 papers were selected by the P- gramme Committee out of 101 submissions after a very intensive reviewing and discussion phase. We would like to thank the members of the Programme C- mittee and the external reviewers for their excellent and hard work. The conference programme contained three invited lectures and two invited tutorials. The invited talks were given by Edward A.