互模拟相关论文
模态逻辑和行为等价在并发系统的规约和验证中起着重要作用。前者可用于模型检查,特别是用于指定要验证的属性。后者可用于状态聚......
本文通过量子互模拟性检测对由量子进程代数描述的量子程序,主要是量子通讯协议,进行正确性验证。量子进程代数是用于量子程序形式......
计算机软件理论发展至今,研究焦点已从顺序计算转移到了并移计算.该文提出了对称λ-π演算,然后针对它进行了系统、深入的研究,给......
学位
计算的模型一般可以分为两类,一类是顺序计算,一类是并行与并发计算.以π-演算为代表的移动进程演算是描述并发系统的一种理论模型......
该文的主要研究内容和成果包括:1.非对称χ-演算的语法和语义 定义了非对称χ-演算的语法和语义:在语法上,给出了一组算子用以构造......
徐开发分布式计算已经成为计算机科学前沿的研究热点之一.由于并发分布式计算与传统的顺序计算有着本质的不同,以及并发分布式系统......
随着Web服务数量的急剧增多,用户面临大量的服务选择。因此如何从众多功能相似的Web服务中高效地发现满足条件的服务,如何判定服务......
随着计算机技术和网络通信技术的高速发展,以并发性、分布性、实时性、异构性和互操作性等为主要特征的并发分布式系统已成为计算......
提出符号迁移图作为π 演算进程直观而高效的表示模型 ,并给出了符号迁移图多种版本 (强 /弱 ,基 /符号 )的早操作语义 ,在此基础......
互模拟是连接模态逻辑、计算机科学和集合论领域中许多重要理论的桥梁和纽带.可在扩展模态逻辑中证明一些结果,然后通过互模拟运用......
从生物的进化角度来说,人是由动物演变而来的.今天,我们看到动物的各种各样的类人行为,并非完全是向人学来的,而是它们原先就有的.......
异步非对称Chi演算是目前更接近于现在的分布式程序语言的形式化系统.本文研究了异步非对称Chi演算的各种互模拟关系,文中定义了异......
期刊
为了对不相容或不完备信息的系统进行形式化描述和满足对系统进行量化验证的需要，根据经典的双标号转换系统，提出基于完备剩余格......
