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
No date available
Hardback
9780521400435
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
No date availableHardback
9780521400435
256 pages
255 × 177 × 18 mm
0.591kg
20 b/w illus. 10 tables
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.
