Alexander Michael Ed.

Process algebra for parallel and distributed processing - Boca Raton CRC Pres 2009 - xxii, 415p. cm. - Champman and Hall/CRC computational science series .

Includes bibliographical references.; Index 403-415p.

9781420064865 (hbd)

84479

1134, 23/09/2010, Ashutosh Technical Books Textbook


Electronic data processing-distributed processing
Formal methods
Parallel processing

D65,8(B):52, P9 TD