Process algebra for parallel and distributed processing
Michael Alexander (ed.)
Process algebra for parallel and distributed processing - CRC Press, 2009 - xxii, 415p. - Chapman & Hall/CRC computational science series .
MD/1/0600/09-10/13-10-09
9781420064865 (HB)
Parallel processing (Electronic computers)
Electronic data processing - Distributed processing
Formal methods (Computer science)
004.0151 PRO
Process algebra for parallel and distributed processing - CRC Press, 2009 - xxii, 415p. - Chapman & Hall/CRC computational science series .
MD/1/0600/09-10/13-10-09
9781420064865 (HB)
Parallel processing (Electronic computers)
Electronic data processing - Distributed processing
Formal methods (Computer science)
004.0151 PRO