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. ISBN: 9781420064865 (hbd) Standard No.: 84479 Source: 1134, 23/09/2010, Ashutosh Technical Books Textbook Subjects--Topical Terms: Electronic data processing-distributed processing Formal methodsParallel processing Dewey Class. No.: D65,8(B):52, P9 TD