Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23–25 July 1990, University of Leicester, UK

معناشناسی سیستم‌های همزمان یکی از شدیدترین حوزه‌های تحقیقاتی در علوم کامپیوتر نظری است، اما به دلیل نگرش‌های متفاوت و اغلب ناسازگار نسبت به رفتارهای غیر متوالی انتزاعی، از اختلاف نظر رنج می‌برد. وقتی با جبرهای فرآیندی مواجه می‌شویم که مدل‌های بسیار ظریف، بسیار انتزاعی و ترکیبی را به وجود می‌آورند، که به طور سنتی مبتنی بر انتزاع در هم آمیخته است، برخی استدلال می‌کنند که ثروت مشارکتی که انجام داده‌اند تا حدی با مشکل در پرداختن به موضوعاتی مانند فامس جبران می‌شود. . از سوی دیگر، رویکردهای غیر درهم تنیده، مبتنی بر علیت، اگرچه مشکلات را با انصاف و سردرگمی کاهش می‌دهند، اما همچنان فاقد ساختار، ترکیب‌بندی و ظرافت قسمت‌های متقابل هستند. از آنجایی که هر دوی این رویکردها بدون شک سهم مهمی در درک سیستم‌های هم‌زمان داشته‌اند، باید به جای تفاوت‌هایشان، بر وجوه مشترک آنها تمرکز کرد. کارگاه بین المللی معناشناسی برای همزمانی در دانشگاه لستر در تاریخ 23 تا 25 ژوئیه 1990 برای کمک به غلبه بر این مشکل سازماندهی شد. هدف اصلی آن تفرقه افکنی نبود، بلکه تشویق به بحث هایی بود که منجر به شناسایی ویژگی های عینی مثبت رویکردهای اصلی می شد، به امید اینکه درک مشترک بیشتر شود. این کارگاه با استقبال بسیار خوبی مواجه شد و مشارکت‌هایی را از سراسر جهان به خود جلب کرد. نتیجه یک برنامه جالب و متنوع بود که ترکیبی از مقالات دعوت شده و داوری بود. سخنرانان دعوت شده عبارت بودند از: پروفسور دکتر. E. Best (دانشگاه هیلدسهایم) پروفسور dr. A.

The semantics of concurrent systems is one of the most vigorous areas of research in theoretical computer science, but suffers from disagree­ ment due to different, and often incompatible, attitudes towards abstracting non-sequential behaviour. When confronted with process algebras, which give rise to very elegant, highly abstract and com­ positional models, traditionally based on the interleaving abstraction, some argue that the wealth of contribution they have made is partially offset by the difficulty in dealing with topics such as faimess. On the other hand, the non-interleaving approaches, based on causality, although easing problems with fairness and confusion, still lack struc­ ture, compositionality, and the elegance of the interleaving counter­ parts. Since both these approaches have undoubtedly provided important contributions towards understanding of concurrent systems, one should concentrate on what they have in common, rather than the way they differ. The Intemational Workshop on Semantics for Concurrency held at the University of Leicester on 23-25 July 1990 was organised to help overcome this problem. Its main objective was not to be divisive, but rather to encourage discussions leading towards the identification of the positive objective features of the main approaches, in the hope of furthering common understanding. The Workshop met with an excel­ lent response, and attracted contributions from all over the world. The result was an interesting and varied programme, which was a combi­ nation of invited and refereed papers. The invited speakers were: Prof. dr. E. Best (Hildesheim University) Prof. dr. A.