Temporal Logic of Actions

E105794 UNEXPLORED

Temporal Logic of Actions is a formal framework for specifying and reasoning about concurrent and distributed systems using temporal logic to describe system behaviors over time.

Jump to: Referenced by

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Leslie Lamport → developed → Temporal Logic of Actions ⓘ

Leslie Lamport → knownFor → Temporal Logic of Actions ⓘ