...
机译:验证多方会话类型中的数据
Imperial Coll London, London, England;
Imperial Coll London, London, England;
Session types; Multiparty session types; Value dependent types;
机译:多方会话类型,超越双重性
机译:多方会话类型作为一致性证明
机译:多方异步会话类型
机译:关于部分交换多方异步会话中全局类型的投影
机译:3G网络中多方会话的发言权控制。
机译:使用安全的多方计算在大型数据库中保留隐私的记录链接
机译:在多方会话类型中认证数据
机译:为经过认证的运行时类型分析键入系统