Baeten, J. C. M.
Process algebra : equational theories of communicating processes
- Cambridge: Cambridge University Press, 2010
- xvi, 460 p.; ill.: 24 cm.
- Cambridge tracts in theoretical computer science .
9780521820493 hbk
Electronic data processing - Distributed processing
Parallel processing (Electronic computers)
004.0151 / BAE