渐进论文

论中国法治的渐进性与推进性
论文摘要法治建设在我国尚属于起步阶段,我国的法治建设又适逢社会转型时期,这决定了我国法治建设进程所走道路的长期性、艰巨性和复杂性。一段时间以来,在法治进程中,不同领域对以往法治...
基于进程算子的IP协议形式描述
论文摘要随着计算机网络、通信网络以及分布式系统的不断发展,通信协议有日渐复杂化的趋势,形式描述技术在网络协议设计中占有举足轻重的作用,作为国际化标准之一的LOTOS技术是专为分...