Distributed systems; Separation logic; Higher-order logic; Concurrency; Formal verification;
机译:用于网络物理系统的分布式推理的语义马尔可夫逻辑网络
机译:大规模描述逻辑知识库推理的模块化方法
机译:大规模描述逻辑知识库推理的模块化方法
机译:关于开放系统的模块化推理:分布式提交的案例研究
机译:近似推理,自参考逻辑以及在系统建模中使用非经典逻辑
机译:十三。医院信息系统:F.医院信息系统的战略规划:模块化分布式医院信息系统(HIS)的论点
机译:aneris:用于分布式系统的模块化推理的机械化逻辑
机译:高阶逻辑中安全分布式系统的验证:使用通用组件的模块化方法。