Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Algebra of Communicating Processes

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

  • Conference proceedings
  • © 1995

Overview

Editors:
  1. A. Ponse

    1. Programming Research Group, University of Amsterdam, Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. C. Verhoef

    1. Department of Mathematics and Computing Science, Eindhoven University of Technology, Eindhoven, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. S. F. M. Vlijmen

    1. Department of Philosophy, Utrecht University, Utrecht, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. The Algebra of Recursively Defined Processes and the Algebra of Regular Processes

    • J. A. Bergstra, J. W. Klop
    Pages 1-25

  3. The Syntax and Semantics of μCRL

    • Jan Friso Groote, Alban Ponse
    Pages 26-62

  4. A Correctness Proof of the Bakery Protocol in μCRL

    • Jan Friso Groote, Henri Korver
    Pages 63-86

  5. Inductive Proofs with Sets, and some Applications in Process Algebra

    • Jos van Wamel
    Pages 87-105

  6. Formal Semantics of Interworkings with Discrete Absolute Time

    • J. van den Brink, W. O. D. Griffioen
    Pages 106-123

  7. The ABP and the CABP — a Comparison of Performances in Real Time Process Algebra

    • Joris Hillebrand
    Pages 124-147

  8. Real Time Process Algebra with Infinitesimals

    • J. C. M. Baeten, J. A. Bergstra
    Pages 148-187

  9. On the Expressiveness of ACP

    • Rob van Glabbeek
    Pages 188-217

  10. Definability with the State Operator in Process Algebra

    • Javier Blanco
    Pages 218-241

  11. Normed BPP and BPA

    • Javier Blanco
    Pages 242-251

  12. A Real Time μCRL Specification of a System for Traffic Regulation at Signalized Intersections

    • M. J. Koens, L. H. Oei
    Pages 252-279

  13. An Experiment in Implementing Process Algebra Specifications in a Procedural Language

    • C. Groza
    Pages 280-298

  14. Graph Isomorphism Models for Non Interleaving Process Algebra

    • J. C. M. Baeten, J. A. Bergstra
    Pages 299-318

  15. Process Specification in a UNITY Format

    • Jacob Brunekreef
    Pages 319-337

  16. Algebraic Specification of Dynamic Leader Election Protocols in Broadcast Networks

    • Jacob Brunekreef, Joost-Pieter Katoen, Ron Koymans, Sjouke Mauw
    Pages 338-357

  17. Back Matter

    Pages 359-361
    Download chapter PDF
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Programming Research Group, University of Amsterdam, Amsterdam, The Netherlands

    A. Ponse

  • Department of Mathematics and Computing Science, Eindhoven University of Technology, Eindhoven, The Netherlands

    C. Verhoef

  • Department of Philosophy, Utrecht University, Utrecht, The Netherlands

    S. F. M. Vlijmen

Bibliographic Information

  • Book Title: Algebra of Communicating Processes

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

  • Editors: A. Ponse, C. Verhoef, S. F. M. Vlijmen

  • Series Title: Workshops in Computing

  • DOI: https://doi.org/10.1007/978-1-4471-2120-6

  • Publisher: Springer London

  • eBook Packages: Springer Book Archive

  • Copyright Information: British Computer Society 1995

  • Softcover ISBN: 978-3-540-19909-0Published: 30 November 1994

  • eBook ISBN: 978-1-4471-2120-6Published: 06 December 2012

  • Series ISSN: 1431-1682

  • Edition Number: 1

  • Number of Pages: X, 359

  • Topics: Mathematical Logic and Formal Languages, Computational Mathematics and Numerical Analysis

Publish with us

Policies and ethics

Back to top

Search

Navigation