异步收敛定理相关硕士博士期刊学术论文 - 搜论网

异步收敛定理相关论文

分布式状态机的代数模型及其模型检验算法

分布式状态机(DSM)是一个分布式计算模型,特别适用于反应系统,有广泛的用途.但一般其正确性证明与模型检验的复杂性却很高,不易实......

期刊

分布式状态机模型检验异步收敛定理代数模型算法程序设计方法 Convergence of numerical methods Models Parall

看过本文同时还关注