Library of American University of Madaba

Normal View MARC View ISBD View

Process algebra for parallel and distributed processing / edited by Michael Alexander, William Gardner. - Boca Raton, FL : CRC Press, 2009. - xxii, 415 p. : ill. ; 25 cm. - Chapman & Hall/CRC computational science series .

"A Chapman & Hall book."

Includes bibliographical references and index.

ISBN: 9781420064865 (alk. paper) 142006486X (alk. paper)

Subjects--Topical Terms:
Electronic data processing--Distributed processing.
Parallel processing (Electronic computers)
Formal methods (Computer science)

LC Class. No.: QA76.58 / P766

Dewey Class. No.: 004.0151 / P766