000 00673nam a2200193Ia 4500
999 _c20323
_d20323
008 161214s9999 xx 000 0 und d
020 _a9781420064865
_chbk
082 _a004.0151
_bALE
100 _aAlexander, Michael
245 0 _aProcess algebra for parallel and distributed processing
260 _aBoca Raton:
_bCRC Press,
_c2009
300 _axxii, 415 p.;
_bill.:
_c25 cm.
365 _aINR
_b4316.83
490 _aChapman & Hall/CRC computational science series
650 _aElectronic data processing - Distributed processing
650 _aFormal methods
650 _aParallel processing
650 _aWireless sensor networks
700 _aGardner, William
942 _2ddc
_cBK