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
December 1990
Hardback
9780521400435
Looking for an inspection copy?
Please email academicmarketing@cambridge.edu.au to enquire about an inspection copy of this book.
Out of Print
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
December 1990Hardback
9780521400435
256 pages
255 × 177 × 18 mm
0.591kg
20 b/w illus. 10 tables
Unavailable - out of print
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.
