You might also like

More about Algebra of Communicating Processes

• Book details
• Synopsis
• Trending among others

You get 154 loyalty points

Book synopsis

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.

Book details

Book category Books in English Mathematics & science Mathematics Algebra

• Full title: Algebra of Communicating Processes
• Subtitle: Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16-17 May 1994
• Author: Alban Ponse, Christiaan Verhoef, Sebastiaan F.M.van Vlijmen
• Language: English
• Binding: Paperback
• Number of pages: 359
• EAN: 9783540199090
• ISBN: 3540199098
• ID: 02172597
• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Weight: 575 g
• Dimensions: 235 × 155 × 21 mm
• Date of publishing: 30. November 1994

Trending among others

---

---

---