Process Algebra
- Hardback
Series: Cambridge Tracts in Theoretical Computer Science(No.
18)
- ISBN:9780521400435
- Publication date:October 1990
- 256pages
- 20 b/w illus. 10 tables
- Dimensions: 247 x 174 mm
- Weight: 0.591kg
View other formats:
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.
