机译:使用因果域来指定和验证分布式程序
机译:对分布式编程语言的编程逻辑的形式验证
机译:Chitra:在时域,事件域和频域中对并行和分布式程序进行可视化分析
机译:模块化验证分布式系统的编程语言抽象
机译:整合强化学习和声明式编程以学习动态域中的因果律
机译:HOLCF '11:用于验证功能程序的定义域理论
机译:故障:用于元编程的Python嵌入式域特定语言用于Metogrogramming便携式硬件验证组件
机译:使用因果域来指定和验证分布式程序
机译:验证使用因果序消息传递的程序。