Algebra of Communicating Processes: Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16–17 May 1994

ACP، جبر فرآیندهای ارتباطی، یک رویکرد جبری برای مطالعه فرآیندهای همزمان است که توسط Jan Bergstra و Jan Will em Klop در اوایل دهه هشتاد آغاز شد. این اقدامات شامل کمک به ACP94، اولین کارگاه آموزشی اختصاص داده شده به ACP است. این کارگاه در دانشگاه اوترخت، 16-17 مه 1994 برگزار شد. این اقدامات به منظور ارائه نمای کلی از تحقیقات جاری در زمینه ACP است. آنها شامل پانزده مشارکت هستند. اولین مقاله یک مقاله کلاسیک در مورد ACP توسط J.A. برگسترا و جی. کلوپ: جبر فرآیندهای تعریف شده بازگشتی و جبر فرآیندهای منظم، گزارش IW 235/83، مرکز ریاضی، آمستردام، 1983. این به عنوان مقدمه ای برای بقیه مراحل و در واقع به عنوان یک مقدمه کلی برای ACP عمل می کند. چکیده مبسوط این مقاله با همین عنوان در مجموعه مقالات ICALP' 84 منتشر شده است. از میان مشارکت‌های اصلی، سه مورد توسط سخنرانان دعوت شده ارسال شد و بقیه توسط کمیته برنامه انتخاب شدند. در مورد ارائه ها، Jos Baeten، Rob van Glabbeek، Jan Friso Groote و Frits Vaandrager هر کدام برای ارائه یک سخنرانی دعوت شدند. مقاله مربوط به سخنرانی فریتس واندراگر قبلاً برای انتشار در جای دیگری ارائه شده است و بنابراین در این مجموعه مقالات گنجانده نشده است. گابریل چیوبانو، یکی از مهمانان ما، در یک سخنرانی اضافی برداشتی از کار خود ارائه کرد. علاوه بر این، ده ارائه بر اساس مقالات انتخاب شده ارائه شد.

ACP, the Algebra of Communicating Processes, is an algebraic approach to the study of concurrent processes, initiated by Jan Bergstra and Jan Will em Klop in the early eighties. These proceedings comprise the contributions to ACP94, the first workshop devoted to ACP. The work­ shop was held at Utrecht University, 16-17 May 1994. These proceedings are meant to provide an overview of current research in the area of ACP. They contain fifteen contributions. The first one is a classical paper on ACP by J.A. Bergstra and J.W. Klop: The Algebra of Recursively Defined Processes and the Algebra of Regular Processes, Report IW 235/83, Mathematical Centre, Amsterdam, 1983. It serves as an introduction to the remainder of the proceedings and, indeed, as a general introduction to ACP. An extended abstract of this paper is published under the same title in the ICALP' 84 proceedings. Of the re­ maining contributions, three were submitted by the invited speakers and the others were selected by the programme committee. As for the presentations, Jos Baeten, Rob van Glabbeek, Jan Friso Groote, and Frits Vaandrager were each invited to deliver a lecture. A paper relating to Frits Vaandrager's lecture has already been submitted for publication elsewhere and is not, therefore, included in these pro­ ceedings. Gabriel Ciobanu, one of our guests, gave an impression of his work in an extra lecture. Furthermore, ten presentations were given on the basis of selected papers.