Theory of Structured Parallel Programming by Yong Wang Ph.D. – eBook Details

Full Book Name: Theory of Structured Parallel Programming
Author Name: Yong Wang Ph.D.
Book Genre: Non-Fiction, Tech
Series Detail:
ISBN: 9780443248146
ASIN: 0443248141
Edition Language: English
Date of Publication: June 15, 2024
PDF File Name: Theory_of_Structured_Parallel_Programming_-Yong_Wang.pdf
EPUB File Name: Theory_of_Structured_Parallel_Programming-_Yong_Wang.epub
PDF File Size: 7.5 MB
EPUB File Size: 8.0 MB

[PDF] [EPUB] Theory of Structured Parallel Programming Download
If you are looking to download the PDF or EPUB of Theory of Structured Parallel Programming by Yong Wang Ph.D., click on the buttons below. This is a free download of the complete book's soft copy.

Overview of the Book

Theory of Structured Parallel Programming is a thorough guide that parallels traditional structured sequential programming, offering readers in-depth theoretical foundations of structured parallel programming. The book covers key topics including:

• Analyses of parallelism and concurrency
• Truly concurrent process algebras
• Building block-based structured parallel programming
• Modeling and verification of parallel programming languages and patterns
• Modeling and verification of distributed systems

The book delves into the two primary approaches to parallel programming: the structured approach and the graph-based (true concurrent) approach. The structured approach, often based on interleaving semantics such as process algebra CCS, does not treat the parallel operator as a fundamental computational pattern, as it can be replaced by alternative and sequential compositions. Consequently, mainstream programming languages like C, C++, and Java often lack an explicit parallel operator.

Key concepts introduced include:

• Algebraic properties and laws for structured parallel programming
• Modeling and verification of parallel programming languages, patterns, and distributed systems
• Operational, denotational, and axiomatic semantics of parallel programming languages and their interrelations