演进特性相关论文
随着计算机网络及通信技术的发展,以分布性、并发性、异构性和互操作性等为主要特征的并发分布式计算已成为计算机研究中的主流方......
提出了一个保持演进特性的二元同步会话类型系统,分析了进程通信中可能发生的死锁情形;同时结合会话类型的子类型概念和松弛对偶关......
黄河下游山东段河道是典型的二级悬河,威胁堤防安全的洪水是漫滩洪水。本文分析了建国后发生在黄河下游的"58.7"、"82.8"、"76.8"......
