abkuerzungen.org

TLA

Temporal Logic of Actions

IT/Elektro

Definition

TLA steht für Temporal Logic of Actions, eine von Leslie Lamport entwickelte formale Spezifikationssprache für nebenläufige Systeme.

Ähnliche Abkürzungen

ATLASAbreviated Test Language for All SystemsDTLADynamic Transmit Level AdjustmentTLATop Level AggregatorTLATop Level ArchitectureTLAThree Letter Acronym