Process Algebra
Process Algebra
J. C. M. Baeten, Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam
W. P. Weijland, Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam
W. P. Weijland, Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam
March 2011
Adobe eBook Reader
9780511878473
$140.00
USDAdobe eBook Reader
Hardback
This 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
'… excels as a clear enunciation of a theory developed for analysing communication parallel processes.' International Mathematical News
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.
