同类推荐
-
-
网络服务器配置与管理
-
¥49.00
-
-
Stable Diffusion AIGC视觉教程
-
¥59.80
-
-
openvela轻量系统开发实战
-
¥119.00
-
-
openvela轻量系统开发实战
-
¥119.00
-
-
openvela轻量系统开发实战
-
¥119.00
-
-
Python数据可视化开发实战：统信UOS下的Flas…
-
¥49.90
-
-
Python数据可视化开发实战：统信UOS下的Flas…
-
¥49.90
-
-
Python数据可视化开发实战：统信UOS下的Flas…
-
¥49.90
-
-
C语言本质
-
¥99.80
-
-
C语言本质
-
¥99.80
|
|
图书信息
|
|
|
|
并发的本质:英文
|
| ISBN： | 9787563987931 |
定价： | ￥49.00 |
| 作者： | 王勇，代桂平著 |
出版社： | 北京工业大学出版社 |
| 出版时间： | 2026年04月 |
开本： | 26cm |
| 页数： | 240页 |
中图法： | TP311.11 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
65
|
|
2026-05-25
|
图书简介 | | 本书涵盖了并发的不同领域，它使程序、算法或问题能够分解为与顺序无关或部分有序的组件，以提高计算和执行速度。执行并发有两种主要方法：交错并发和真并发。交错并发的主要代表是互模拟/根分支互模拟等价，这项工作最终建立了全面的公理化模互模拟等价的代数系统——ACP(通信进程代数)。另一种并发方法是真并发。当前，学界对真病发的研究是活跃的。真并发的语义模型存在若干种真并发互模拟等价，包括：偏序集互模拟等价、步进互模拟等价、历史保存(hp-)互模拟等价和遗传历史保持(hhp-)互模拟等价，真并发进程代数是建立在这些语义模型之上的代数系统。 |
|