Process algebra for parallel and distributed processing

Process algebras are commonly used in computer science to model concurrent systems. This book discusses state-of-the-art research in the application of algebraic languages and process algebras to parallel and distributed processing. It presents key topics in parallel processing using an algebraic approach and solves some important problems involved with programming today's multi-core processor architectures, clusters, and grids. Since process algebra formally verifies distributed and parallel programs, the authors treat both formal verification and distributed and parallel programming in-depth. The book also features tools, case studies, and a supplementary website.

• ISBN: 978-1-4200-6486-5
• Editorial: CRC Press
• Encuadernacion: Rústica
• Páginas: 440
• Fecha Publicación: 03/12/2008
• Nº Volúmenes: 1
• Idioma: Inglés