Truly Concurrent Process Algebra With Localities

2024-09-16 分类：电子书 评论(0)

Truly Concurrent Process Algebra With Localities
Author: Yong Wang Ph.D. (Author)
Publisher finelybook 出版社:‏ Morgan Kaufmann
Edition 版本:‏ 1st
Publication Date 出版日期:‏ 2024-09-06
Language 语言: English
Print Length 页数: 474 pages
ISBN-10: 0443330689
ISBN-13: 9780443330681

Book Description


Truly Concurrent Process Algebra with Localities introduces localities into truly concurrent process algebras. The book explores all aspects of localities in truly concurrent process algebras, such as Calculus for True Concurrency (CTC), which is a generalization of CCS for true concurrency, Algebra of Parallelism for True Concurrency (APTC), which is a generalization of ACP for true concurrency, and ? Calculus for True Concurrency (?). Together, these approaches capture the so-called true concurrency based on truly concurrent bisimilarities, such as pomset bisimilarity, step bisimilarity, history-preserving (hp-) bisimilarity and hereditary history-preserving (hhp-) bisimilarity.

This book provides readers with all aspects of algebraic theory for localities, including the basis of semantics, calculi for static localities, axiomatization for static localities, as well as calculi for dynamic localities and axiomatization for dynamic localities.

  • Introduces algebraic properties and laws for localities, one of the important concepts of software engineering for concurrent computing systems
  • Discusses algebraic theory for static localities and dynamic localities, including the basis of semantics, calculi, and axiomatization
  • Presents all aspects of localities in truly concurrent process algebras, including Calculus for True Concurrency (CTC), Algebra of Parallelism for True Concurrency (APTC), and Process Calculus for True Concurrency (?)

Review

Presents a complete guide to theoretical foundations and applications of the algebraic properties and laws for localities in concurrent computing

From the Back Cover

Truly Concurrent Process Algebra with Localities introduces localities into truly concurrent process algebras. Traditional parallelism often existed in distributed computing, as distributed systems are usually autonomous and local computers have been single-core, single-processor, and timed (timed computing is serial in nature). Today, due to the progress of hardware, multi-cores, multi-processors, and GPUs are now making the local computer truly parallel. Concurrent computing is an important means of addressing complexity in structuring software systems, with huge impacts in many areas of computing, including increased program throughput, high responsiveness to input and output, and program structure that is more appropriate to certain tasks. Distribution is an important aspect of concurrent systems and reflects in their semantics. The distributed semantics gives a measure of the degree of parallelism in concurrent systems and keeps track of the local semantics of components within the concurrent system. Static localities say that processes are equated if they are at the same location and have the same behaviors at each location, while dynamic localities say that locations are associated with actions rather than parallel components. The well-known process algebras, such as CCS, ACP and ? -calculus, capture the interleaving concurrency based on bisimilarity semantics. In this book, readers will be able to explore all aspects of localities in truly concurrent process algebras, such as Calculus for True Concurrency (CTC), which is a generalization of CCS for true concurrency, Algebra of Parallelism for True Concurrency (APTC), which is a generalization of ACP for true concurrency and ? Calculus for True Concurrency (?). Together, these approaches capture the so-called true concurrency based on truly concurrent bisimilarities, such as pomset bisimilarity, step bisimilarity, history-preserving (hp-) bisimilarity and hereditary history-preserving (hhp-) bisimilarity. Truly concurrent process algebras are generalizations of the corresponding traditional process algebras. This book provides readers with all aspects of algebraic theory for localities, including the basis of semantics, calculi for static localities, axiomatization for static localities, as well as calculi for dynamic localities, and axiomatization for dynamic localities.

Amazon page

相关文件下载地址

EPUB | 14 MB
下载地址 Download解决验证以访问链接！
AD：【如何下载、打开扩展名：PDF、EPUB、MOBI、AZW3、ZIP、RAR】阅读-使用帮助
打赏
未经允许不得转载：finelybook » Truly Concurrent Process Algebra With Localities

相关推荐

评论 抢沙发

取消

分类目录

  • Academic Press
  • Banned Books
  • Cambridge
  • CRC Press
  • Elsevier
  • For Dummies
  • Head First
  • Kindle Edition
  • Manning
  • McGraw-Hill
  • Microsoft Press
  • No Starch Press
  • O'Reilly
  • Pearson
  • Pragmatic
  • Prentice Hall
  • RayWenderlich
  • Routledge
  • Sybex
  • The MIT Press
  • Wiley
  • Wrox
  • 中文版
  • 电子书

    • 热门标签

    AI InvestingAssemblerKubernetesDockerLeadershipNode.jsPostgreSQLSwiftUIReactElixirAI for GoodChatGPT数字化AndroidMethodsMachineKafka3DSQLMathematicsRustPowerShellAngularAILaravelApplicationsLinuxExcelpythonAWS
    提供 电子书 代查,代购,代下服务(科目不限)
    登记需求，请访问http://finelybook.com/messages/

    觉得文章有用就打赏一下

    您的打赏，我们将继续给力更多优质内容

    支付宝扫一扫

    微信扫一扫