# Algebraic Theory for True Concurrency

### Wang, Yong

• 出版商:
• 出版日期: 2023-01-10
• 售價: \$6,280
• 貴賓價: 9.5\$5,966
• 語言: 英文
• 頁數: 228
• 裝訂: Quality Paper - also called trade paper
• ISBN: 0443189129
• ISBN-13: 9780443189128
• 海外代購書籍(需單獨結帳)

## 商品描述

Algebraic Theory for True Concurrency presents readers with the algebraic laws for true concurrency. Parallelism and concurrency are two of the core concepts within computer science. This book covers the different realms of concurrency, which enables programs, algorithms or problems to be broken out into order-independent or partially ordered components to improve computation and execution speed. There are two primary approaches for executing concurrency: interleaving concurrency and true concurrency. The main representative of interleaving concurrency is bisimulation/rooted branching bisimulation equivalences which is also readily explored.

This work eventually founded the comprehensive axiomatization modulo bisimulation equivalence -- ACP (Algebra of Communicating Processes).The other approach to concurrency is true concurrency. Research on true concurrency is active and includes many emerging applications. First, there are several truly concurrent bisimulation equivalences, including: pomset bisimulation equivalence, step bisimulation equivalence, history-preserving (hp-) bisimulation equivalence, and hereditary history-preserving (hhp-) bisimulation equivalence, the most well-known truly concurrent bisimulation equivalence.

## 商品描述(中文翻譯)

《真正並行的代數理論》向讀者介紹了真正並行的代數法則。並行性和並行是計算機科學中的兩個核心概念。本書涵蓋了不同領域的並行性，使得程序、算法或問題可以被分解為無序或部分有序的組件，以提高計算和執行速度。執行並行性有兩種主要方法：交錯並行和真正並行。交錯並行的主要代表是仿真/根分支仿真等等，這也是容易探索的。