Alexander, Michael
Process algebra for parallel and distributed processing
- Boca Raton: CRC Press, 2009
- xxii, 415 p.; ill.: 25 cm.
- Chapman & Hall/CRC computational science series .
9781420064865 hbk
Electronic data processing - Distributed processing
Formal methods
Parallel processing
Wireless sensor networks
004.0151 / ALE