热门问题
时间线
聊天
视角
行为时序逻辑
来自维基百科，自由的百科全书
Remove ads
行为时序逻辑（英语：The Temporal Logic of Actions）是由莱斯利·兰伯特（Leslie Lamport）发展的用于规范和推理并发自反应系统的时间逻辑。 主要应用于计算机科学，程序验证。
 | 此条目没有列出任何参考或来源。 (2022年1月14日) |
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads
来自维基百科，自由的百科全书
行为时序逻辑（英语：The Temporal Logic of Actions）是由莱斯利·兰伯特（Leslie Lamport）发展的用于规范和推理并发自反应系统的时间逻辑。 主要应用于计算机科学，程序验证。
| 此条目没有列出任何参考或来源。 (2022年1月14日) |
Seamless Wikipedia browsing. On steroids.