机译:基于KLAIM的结石的表达能力
Process calculi; Network-aware programming; Expressiveness; Language encodings; Behavioural equivalences; Bisimulation;
机译:基于KLAIM的结石的表达能力
机译:代数模态mu-calculi的表达完备性定理
机译:关于高阶过程计算的可表达性和可判定性
机译:论环境基础的相对表达力量
机译:基于属性和关系的访问控制模型的表现力,安全性和云实现
机译:以任务为导向的二元的表现抑制:权力的调节作用
机译:论基于KLaIm的结石的表达能力
机译:CTL和CTL的扁平碎片*:分离表达和区分211的力量