Process algebra for parallel and distributed processing /
Process algebra for parallel and distributed processing /
edited by Michael Alexander, William Gardner
- Boca Raton : CRC Press, c2009
- xxii, 415 p. ill. ; 25 cm.
- Chapman & Hall/CRC computational science series .
- Chapman & Hall/CRC computational science series .
"A Chapman & Hall book."
Includes bibliographical references and index
9781420064865 (alk. paper) 142006486X (alk. paper)
Parallel processing (Electronic computers)
Electronic data processing--Distributed processing
Formal methods (Computer science)
"A Chapman & Hall book."
Includes bibliographical references and index
9781420064865 (alk. paper) 142006486X (alk. paper)
Parallel processing (Electronic computers)
Electronic data processing--Distributed processing
Formal methods (Computer science)