- Titulinis
- Dalykinė ir mokslinė literatūra
- Fiziniai ir gamtos mokslai
- Matematika
- Algebraic Theory for True Concurrency
![Algebraic Theory for True Concurrency - Humanitas](https://www.humanitas.lt/uploads/_CGSmartImage/no-cover-2f803130014a29326b57c421f6b58da5.png)
Yong Wang
Algebraic Theory for True Concurrency
Balsavo 0
ISBN: 9780443189128
Autorius : Yong Wang
Leidimo metai: 2023
Leidėjas: Academic Press
Leidinio kalba: Anglų
Formatas: Minkšti viršeliai
Formatas: 9.25×7.5
Autorius : Yong Wang
Leidimo metai: 2023
Leidėjas: Academic Press
Leidinio kalba: Anglų
Formatas: Minkšti viršeliai
Formatas: 9.25×7.5
Kaina:
Šių parametrų produkto neturime
Likutis pakankamas
Pristatymo terminas Lietuvoje 3-6 savaitės
Pristatymo terminas Lietuvoje 1-4 darbo dienos. Galimas nedidelis vėlavimas
Pristatymo terminas Lietuvoje 3-6 savaitės
Pristatymo sąlygos
Aprašymas
<p><i>Algebraic Theory for True Concurrency</i> 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. </p> <p>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. </p>
Atsiliepimai (0)
Palikite atsiliepimą