Theory of Structured Parallel Programming
eBook - ePub

Theory of Structured Parallel Programming

Yong Wang

  1. 200 pages
  2. English
  3. ePUB (mobile friendly)
  4. Only available on web
eBook - ePub

Theory of Structured Parallel Programming

Yong Wang

Book details
Table of contents
Citations

About This Book

Theory of Structured Parallel Programming is a comprehensive guide to structured parallel programming corresponding to traditional structured sequential programming. The book provides readers with comprehensive coverage of theoretical foundations of structured parallel programming, including analyses of parallelism and concurrency, truly concurrent process algebras, building block-based structured parallel programming, modelling and verification of parallel programming language, modelling and verification of parallel programming patterns, as well as modeling and verification of distributed systems.There have been always two ways to approach parallel computing: one is the structured way, and the other is the graph-based (true concurrent) way. The structured way is often based on the interleaving semantics, such as process algebra CCS. Since the parallelism in interleaving semantics is not a fundamental computational pattern (the parallel operator can be replaced by alternative composition and sequential composition), the parallel operator often does not occur as an explicit operator, such as in the mainstream programming languages C, C++, Java, et al.

  • Introduces algebraic properties and laws for structured parallel programming, one of the foundational concepts of Computer Science
  • Discusses modeling and verification of parallel programming language, parallel programming patterns, and distributed systems
  • Demonstrates parallel programming language with its operational semantics, denotational semantics, axiomatic semantics, and their relations

Frequently asked questions

How do I cancel my subscription?
Simply head over to the account section in settings and click on “Cancel Subscription” - it’s as simple as that. After you cancel, your membership will stay active for the remainder of the time you’ve paid for. Learn more here.
Can/how do I download books?
At the moment all of our mobile-responsive ePub books are available to download via the app. Most of our PDFs are also available to download and we're working on making the final remaining ones downloadable now. Learn more here.
What is the difference between the pricing plans?
Both plans give you full access to the library and all of Perlego’s features. The only differences are the price and subscription period: With the annual plan you’ll save around 30% compared to 12 months on the monthly plan.
What is Perlego?
We are an online textbook subscription service, where you can get access to an entire online library for less than the price of a single book per month. With over 1 million books across 1000+ topics, we’ve got you covered! Learn more here.
Do you support text-to-speech?
Look out for the read-aloud symbol on your next book to see if you can listen to it. The read-aloud tool reads text aloud for you, highlighting the text as it is being read. You can pause it, speed it up and slow it down. Learn more here.
Is Theory of Structured Parallel Programming an online PDF/ePUB?
Yes, you can access Theory of Structured Parallel Programming by Yong Wang in PDF and/or ePUB format, as well as other popular books in Ciencia de la computación & Desarrollo de software. We have over one million books available in our catalogue for you to explore.

Information

Publisher
Morgan Kaufmann
Year
2024
ISBN
9780443248153
Topic
Ciencia de la computación
Subtopic
Desarrollo de software

Table of contents

  1. Cover image
  2. Title page
  3. Table of Contents
  4. Copyright
  5. 1: Introduction
  6. 2: Parallelism and concurrency
  7. 3: Truly concurrent process algebra
  8. 4: Guarded APTC
  9. 5: Distributed APTC
  10. 6: Building blocks based structured parallel programming
  11. 7: Modeling and verification of parallel programming languages
  12. 8: Modeling and verification of parallel programming patterns
  13. 9: Modeling and verification of distributed systems
  14. A: A parallel programming language
  15. References
  16. Index
Citation styles for Theory of Structured Parallel Programming

APA 6 Citation

Wang, Y. (2024). Theory of Structured Parallel  Programming ([edition unavailable]). Morgan Kaufmann. Retrieved from https://www.perlego.com/book/4458670 (Original work published 2024)

Chicago Citation

Wang, Yong. (2024) 2024. Theory of Structured Parallel  Programming. [Edition unavailable]. Morgan Kaufmann. https://www.perlego.com/book/4458670.

Harvard Citation

Wang, Y. (2024) Theory of Structured Parallel  Programming. [edition unavailable]. Morgan Kaufmann. Available at: https://www.perlego.com/book/4458670 (Accessed: 24 June 2024).

MLA 7 Citation

Wang, Yong. Theory of Structured Parallel  Programming. [edition unavailable]. Morgan Kaufmann, 2024. Web. 24 June 2024.