互模拟格相关论文
在现有的并发分布式系统中，信息的发送往往是非阻塞的，必须采用异步的通信方式。而实际的程序设计严格区分输入和输出动作，即非对称通......
异步非对称Chi演算是目前更接近于现在的分布式程序语言的形式化系统.本文研究了异步非对称Chi演算的各种互模拟关系,文中定义了异......
期刊
