communicating finite-state machines; MSO logic; message sequence charts;
机译:通信有限状态机和二变量逻辑
机译:沟通有限状态机,一阶逻辑和无星际命题动态逻辑
机译:事件发生后很容易明智:通信有限状态机以“之前发生”捕获一阶逻辑
机译:传送有限状态机和两个可变逻辑
机译:通信有限状态机的系统,作为有限状态机的分布式替代方案。
机译:对机器人群体性能的违规评估:重要的采样以评估对控制机器人的有限状态机的潜在修改
机译:通过不变的验证程序,用于扩展通信有限状态机