机译:故障检测器Σ在异步消息传递系统中实现原子寄存器的必要性的简单证明
机译:Kac-Moody和Virasoro Lie代数的半直接乘积的三个cocycle的浅水双汉密尔顿系统的代数证明:开放数学
机译:异步消息传递和应用间通信软件,用于复杂系统中的流程改进
机译:消息传递过程计算的证明系统
机译:探索证明建构与数学理解之间的关系:以高中生代数证明建构为例。
机译:基于低成本FPGA的实时测量声发射数据的测量系统的开发:使用液体中脉冲激光烧蚀控制的概念验证
机译:容错分布式系统的过程代数证明方法
机译:消息传递系统的多处理器实现。