Object-Based Concurrent Computing: ECOOP '91 Workshop Geneva, Switzerland, July 15–16, 1991 Proceedings

کارگاه آموزشی ECOOP '91 در مورد محاسبات همزمان مبتنی بر شیء برای ارائه یک انجمن در مورد محاسبات همزمان، توزیع شده و باز سازماندهی شد. تأکید بر جنبه‌های مفهومی، نظری و صوری، و نیز جنبه‌های عملی و تجربه صحیح بود، زیرا چنین دیدگاهی برای بررسی و ایجاد مبنایی برای توسعه‌ی آتی ضروری تلقی می‌شد. این جلد شامل 12 مقاله انتخاب شده از 25 مقاله ارائه شده در کارگاه به همراه مقاله ای از J.A. گوگن، که سخنران دعوت شده در کارگاه بود. مقالات به چهار دسته طبقه‌بندی می‌شوند: روش‌های رسمی (1): سه مقاله با معناشناسی رسمی اشیاء همزمان بر اساس محاسبات فرآیندی سروکار دارند. روش‌های رسمی (2): چهار مقاله با رویکردهای رسمی مختلف به معناشناسی برنامه‌های همزمان مرتبط هستند. برنامه نویسی همزمان: سه مقاله. مدل‌ها: سه مقاله مربوط به مدل‌هایی برای سیستم‌های همزمان هستند.

The ECOOP '91 Workshop on Object-Based Concurrent Computing was organized toprovide a forum on concurrent, distributed and open-ended computing. The emphasis was on conceptual, theoretical and formal aspects, as well as practical aspects and sound experience, since such a viewpoint was deemed indispensible to investigate and establish a basis for future development. This volume contains 12 papers selected from 25 presented at the workshop, together with a paper by J.A. Goguen, who was an invited speaker at the workshop. The papers are classified into four categories: Formal methods (1): three papers are concerned with the formal semantics of concurrent objects based on process calculi. Formal methods (2): four papers are concerned with various formal approaches to the semantics of concurrent programs. Concurrent programming: three papers. Models: three papers areconcerned with models for concurrent systems.