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