Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, USA;
Faculdade de Ciencias e Tecnologia, Universidade Nova de Lisboa, Lisboa, Portugal;
Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, USA,Faculdade de Ciencias e Tecnologia, Universidade Nova de Lisboa, Lisboa, Portugal;
process calculus; session types; proof irrelevance; proofcarrying code;
机译:基于扩展过程演算的云制造服务组合和BPEL代码生成的形式验证
机译:基于扩展过程演算的云制造服务组合和BPEL代码生成的形式验证
机译:基于校验代码的汇编程序安全信息流工具
机译:在会话类型的流程微积分中的验证代码
机译:概率证明代码
机译:筛查孕妇电子病历中的自杀行为:自然语言处理的诊断代码与临床注释
机译:会话类型的过程演算中的证明代码