机译:移动名义计算中的参数同步
Process calculi; Name mobility; Synchronization algebra with mobility; Operational semantics; Bisimulation congruences; π-calculus; Fusion calculus;
机译:移动名义计算中的参数同步
机译:标称流程计算规则格式
机译:标称计算的多重标记过渡系统及其逻辑
机译:标称计算的事件结构语义
机译:宽带移动到移动信道的测量,建模和OFDM同步。
机译:标称小组在健康习惯上制定移动申请
机译:移动名义计算中的参数同步