机译:环境演算中的有序沟通
Department of Computing and Electrical Engineering, Heriot-Watt University, Edinburgh, Scotland EH14 4AS, UK;
mobile computation; concurrent and distributed programming; formal calculi for mobility; ambient calculus; safety and security of mobile code; orderly communication; type system; type checking; type inference;
机译:从海豹演算到移动环境演算
机译:多思索集成作为窗口有序并扰乱认知和沟通
机译:呼吁有序的营销和有效的沟通
机译:通道环境演算中的环境PRISMA体系结构模型
机译:环境零散点:使用现有数字I / O引脚进行环境BPSK和QPSK反向散点通信
机译:基于LED的水下通信中滤光对环境光抑制的影响和约束
机译:环境演算中的有序沟通
机译:有序间隔卫星的通信概率