Disambiguation evidence for Temporal Logic of Actions via surface form

"Temporal Logic of Actions"

Triples (4)

Triples where some other subject referred to this entity as "Temporal Logic of Actions".

Leslie Lamport → knownFor →
"Temporal Logic of Actions"
↳ resolves to Temporal Logic of Actions
ⓘ
Leslie Lamport → developed →
"Temporal Logic of Actions"
↳ resolves to Temporal Logic of Actions
ⓘ
TLA → fullName →
"Temporal Logic of Actions"
↳ resolves to Temporal Logic of Actions
ⓘ
TLA+ → basedOn →
"Temporal Logic of Actions"
↳ resolves to Temporal Logic of Actions
ⓘ