Distributed algorithms; Distributed systems; Event-B; Formal methods; Local computations; Visidia;
机译:从Event-B规范到分布式算法程序
机译:分布式REScala:分布式反应式编程的更新算法
机译:基于分布式增强学习的分布式演示协作编程学习算法
机译:从Event-B规范到分布式算法的程序
机译:将控制与规范分开,用于并行和分布式搜索算法。
机译:智能无线传感器网络的分布式学习和分布式估计算法
机译:分布式算法的高级可执行规范