TitleProcess algebra for parallel and distributed processing [electronic resource] / edited by Michael Alexander, William Gardner
Imprint Boca Raton : CRC Press, c2009
Connect tohttp://marc.crcnetbase.com/isbn/9781420064872
Descript xxii, 415 p. : ill

Parallel processing (Electronic computers) Electronic data processing -- Distributed processing Formal methods (Computer science) Electronic books.