Algebra of Communicating Processes : Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-17 May 1994 /
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 d...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer London,
1995.
|
| Series: | Workshops in computing.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | 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 µCRL, 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. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (X, 359 pages) |
| ISBN: | 9781447121206 (electronic bk.) 1447121201 (electronic bk.) |