行为时序逻辑

行为时序逻辑行为时序图 (TLA) 是由 Leslie Lamport 开发的一种逻辑，它结合了时间逻辑和动作逻辑。它用于描述并发和分布式系统的行为。 它是规范语言 TLA+ ...