并发
  1. 首页
  2. 并发

列表

Petri网的元展：一种并发系统模型检测方法

Petri网的元展：一种并发系统模型检测方法

《Petri网的元展：一种并发系统模型检测方法》,作者:刘关俊 著 出版社:科学出版社 ISBN:9787030662590。本书主要介绍Petri网的元展这一用于并发系统模型检测的方法，利用元展检测并发系统健壮性、兼容性与死锁，并利用元展检测能够表达更多的并发系统设计需求的计算树逻辑，同时还探讨了健壮性、兼容性、死锁等判定问题的复杂度。全书共10章，具有严格的形式化定义、丰富的示例与图文解释、严
壹号书单 2020年10月01日
交互式马尔可夫链 : 并发系统的设计、验证与评价

交互式马尔可夫链 : 并发系统的设计、验证与评价

《交互式马尔可夫链 : 并发系统的设计、验证与评价》,作者:吴尽昭，王永祥，覃广平著 出版社:科学出版社 ISBN:9787030188663。本书主要研究了IMC的理论及其在并发系统层次设计以及功能验证与性能评价方面的应用，主要内容包括：IMC上的分支时间等价和前序关系、IMC的动作细化理论以及基于IMC的模型检验方法。
壹号书单 2007年06月01日