This volume contains revised papers from ACP94, which was held at Utrecht University, the Netherlands, from 16-17 May 1994. As the first workshop devoted to this important topic, it aims to provide a comprehensive overview of current research, design and application work relating to ACP. The first day of the workshop examined the language ACRL, a formalism which extends ACP with algebraic data specification, and to the incorporation of real-time in ACP. The second day covered expressiveness issues and a number of relevant case studies. This volume also contains a reprint of a classic paper by J.A. Bergstra and J.W. Klop, who initiated the algebraic approach to concurrency theory in the early 80s. This paper serves both as an introduction to ACP in general, and also as a reference point for the rest of the papers in the proceedings.
The Algebra of Recursively Defined Processes and the Algebra of Regular Processes.- The Syntax and Semantics of ?CRL.- A Correctness Proof of the Bakery Protocol in ?CRL.- Inductive Proofs with Sets, and some Applications in Process Algebra.- Formal Semantics of Interworkings with Discrete Absolute Time.- The ABP and the CABP - A Comparison of Performances in Real Time Process Algebra.- Real Time Process Algebra with Infinitesimals.- On the Expressiveness of ACP (Extended Abstract).- Definability with the State Operator in Process Algebra.- Normed BPP and BPA.- A Real Time ?CRL Specification of a System for Traffic Regulation at Signalized Intersections.- An Experiment in Implementing Process Algebra Specifications in a Procedural Language.- Graph Isomorphism Models for Non Interleaving Process Algebra.- Process Specification in a UNITY Format.- Algebraic Specification of Dynamic Leader Election Protocols in Broadcast Networks.- Author Index.
Series: Workshops in Computing
Number Of Pages: 359
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.5 x 15.5
Weight (kg): 0.57