Process Algebra
Process Algebra
W. P. Weijland, Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam
$140.00
USDThis is an introduction to process algebra, also known as the Algebra of Communicating Processes (ACP). It is a self-contained mathematical approach to the theory which can be used for graduate courses, though it also has material of interest to researchers. It is a unique introduction to this model of concurrent programming and will be essential reading for all computer scientists interested in parallel processing and algebraic methods in computer science.
Reviews & endorsements
"...an ideal reference for a researcher new to the field....This compact, yet easily digested, introduction to process algebra belongs in every serious computer science library." D.J. Cooke, Computing Reviews
"The style of the exposition and the number of exercises proposed at every step make the book well suited for teaching purposes." Andrea Maggiolo-Schettini, Mathematical Reviews
Product details
March 2011Adobe eBook Reader
9780511878473
0 pages
0kg
20 b/w illus. 10 tables
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Table of Contents
- 1. Preliminaries
- 2. Basic process algebra
- 3. Concurrent processes
- 4. Communication
- 5. Abstraction
- 6. Features
- 7. Semantics
- 8. Sources and related work
- Bibliography.
