文档介绍：Alexander/Process Algebra for Parallel and Distributed Processing C6486 C000 Finals Page i 2008-10-24 #1
PROCESS
ALGEBRA FOR
PARALLEL AND
DISTRIBUTED
PROCESSING
Alexander/Process Algebra for Parallel and Distributed Processing C6486 C000 Finals Page ii 2008-10-24 #2
Chapman & Hall/CRC
Computational Science Series
SERIES EDITOR
Horst Simon
Associate Laboratory Director, Computing Sciences
Lawrence Berkeley National Laboratory
Berkeley, California, .
AIMS AND SCOPE
This series aims to capture new developments and applications in the field putational sci-
ence through the publication of a broad range of textbooks, reference works, and handbooks.
Books in this series will provide introductory as well as advanced material on mathematical, sta-
tistical, putational methods and techniques, and will present researchers with the latest
theories and experimentation. The scope of the series includes, but is not limited to, titles in the
areas of puting, parallel and puting, high puting,
puting, puting, puting, puting, and their
applications in scientific disciplines such as astrophysics, aeronautics, biology, chemistry, climate
modeling, combustion, cosmology, earthquake prediction, imaging, materials, neuroscience, oil
exploration, and weather forecasting.
PUBLISHED TITLES
PUTING: Algorithms and Applications
Edited by David A. Bader
PROCESS ALGEBRA FOR PARALLEL AND DISTRIBUTED PROCESSING
Edited by Michael Alexander and William Gardner
Alexander/Process Algebra for Parallel and Distributed Processing C6486 C000 Finals Page iii 2008-10-24 #3
PROCESS
ALGEBRA FOR
PARALLEL AND
DISTRIBUTED
PROCESSING
EDITED BY
MICHAEL ALEXANDER
WILLIAM GARDNER
Alexander/Process Algebra for Parallel and Distributed Processing C6486 C000 Finals Page iv 2008-10-24 #4
Cover Image Credit: Intel Teraflops Research Chip Wafer from Intel, used with permission.
Chapman & Hall/CRC
Taylor & Francis Group
6000 Broken Sound