|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Yong Wang (Associate Professor of Computer Science and Technology, Faculty of Information, Beijing University of Technology, China)Publisher: Elsevier Science & Technology Imprint: Morgan Kaufmann Publishers In Weight: 0.450kg ISBN: 9780443248146ISBN 10: 0443248141 Pages: 158 Publication Date: 07 May 2024 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Not yet available This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release. Table of Contents1. Introduction 2. Parallelism and Concurrency 3. Truly Concurrent Process Algebra 4. Guarded APTC 5. Distributed APTC 6. Building Blocks Based Structured Parallel Programming 7. Modeling and Verification of Parallel Programming Languages 8. Modeling and Verification of Parallel Programming Patterns 9. Modeling and Verification of Distributed SystemsReviewsAuthor InformationDr. Yong Wang is an Associate Professor of Computer Science and Technology, Faculty of Information, at Beijing University of Technology. He holds a PhD in Computer Science from Beihang University, China. He has more than 20 years of research and teaching experience in parallel and distributed computing. Dr. Wang’s research interests include Theory of Parallel Computing, including algebraic theory for true concurrency and its extensions and applications, algebraic theory for reversible computing, and quantum process algebra and its application in quantum communication protocol. Dr. Wang’s other research interests include SOA, grid computing, cloud computing, and big data. Dr. Wang has published more than 120 research papers in leading Computer Science journals, including Wiley-Blackwell International Journal of Communication Systems, Springer International Journal of Theoretical Physics, and IEEE Transactions on Network and Service Management. Tab Content 6Author Website:Countries AvailableAll regions |