Product line calculus of communicating systems (PL-CCS); Modal transition system (MTSs); 1-selecting modal transition system (1MTS); Comparative expressiveness;
机译:具有可变性约束的模态过渡系统的表达性
机译:过渡系统中的相关路径:模态微积分的衰落
机译:转换系统受限类的模态mu-Calculus层次
机译:沟通系统产品线微积分的比较表达,1选择模态过渡系统
机译:使用通信系统演算(CCS)对OSI会话层进行正式规范和验证。
机译:高胆固醇血症中抗PCSK9治疗方式的比较定量系统药理模型
机译:(a)同步通信模态I / O转换系统的接口理论*