JCSP; SDR; partial process network termination; poisoning; poionable-channel; poison-filtering-channel; termination domains;
机译:当进程可能崩溃和恢复时,在异步分布式系统中进行安全终止检测
机译:干扰感知公共安全网络中的信息处理和无线能量收获
机译:基于无处不在的传感器网络和图像处理的火灾安全环境监测系统
机译:JCSP-Poison:安全终止CSP流程网络
机译:密歇根州的工匠食品加工和食品安全法规:相互作用,利益和流动边界的参与者网络研究。
机译:旧成人威胁和安全处理过程中的突出性和默认模式网络连接
机译:网络嵌入式控制系统的协同仿真,一种类似于CSP的过程导向方法
机译:Csp过程网络的组合验证:使用FDR2验证接口差异事件中的细化。