行为时序逻辑

行为时序逻辑(英語:The Temporal Logic of Actions)是由莱斯利·兰伯特(Leslie Lamport)发展的用于规范和推理并发自反应系统的时间逻辑。 主要应用于计算机科学,程序验证。

Prefix: a b c d e f g h i j k l m n o p q r s t u v w x y z 0 1 2 3 4 5 6 7 8 9

Portal di Ensiklopedia Dunia

Kembali kehalaman sebelumnya