Advertisement

Algebra of Communicating Processes

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

  • A. Ponse
  • C. Verhoef
  • S. F. M. van Vlijmen

Part of the Workshops in Computing book series (WORKSHOPS COMP.)

Table of contents

  1. Front Matter
    Pages i-x
  2. Jan Friso Groote, Alban Ponse
    Pages 26-62
  3. Jan Friso Groote, Henri Korver
    Pages 63-86
  4. J. van den Brink, W. O. D. Griffioen
    Pages 106-123
  5. J. C. M. Baeten, J. A. Bergstra
    Pages 148-187
  6. Rob van Glabbeek
    Pages 188-217
  7. Javier Blanco
    Pages 242-251
  8. J. C. M. Baeten, J. A. Bergstra
    Pages 299-318
  9. Jacob Brunekreef
    Pages 319-337
  10. Jacob Brunekreef, Joost-Pieter Katoen, Ron Koymans, Sjouke Mauw
    Pages 338-357
  11. Back Matter
    Pages 359-361

About these proceedings

Introduction

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.

Keywords

ACP Concurrency Theory algebra concurrency process algebra semantics

Editors and affiliations

  • A. Ponse
    • 1
  • C. Verhoef
    • 2
  • S. F. M. van Vlijmen
    • 3
  1. 1.Programming Research GroupUniversity of AmsterdamAmsterdamThe Netherlands
  2. 2.Department of Mathematics and Computing ScienceEindhoven University of TechnologyEindhovenThe Netherlands
  3. 3.Department of PhilosophyUtrecht UniversityUtrechtThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4471-2120-6
  • Copyright Information Springer-Verlag London 1995
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19909-0
  • Online ISBN 978-1-4471-2120-6
  • Series Print ISSN 1431-1682
  • Buy this book on publisher's site