机译:M演算:高阶分布式过程演算
机译:云服务的更高阶分布式PI微积分和Web服务描述语言表示
机译:在通信系统的高阶微积分中表达一阶π微积分
机译:具有名称创建的高阶分布式微积分
机译:用于智能代理形式建模的Api演算及其在分布式地理空间数据合并中的应用。
机译:医疗保健服务(共同价值)中的共同规划价值(共值):描述用于在副本医疗服务系统系统中使用价值创建型号的国际多期协议并评估相关系统级值的初始可行性效用和可接受性创建评估方法
机译:具有名称创建的高阶分布式微积分
机译:基于Lambda-Calculus和集抽象的实用高阶泛函和逻辑程序设计