Skip to content

TLA+ - The Temporal Logic of Actions

@tlaplusfoundation • 1.3K subscribers • 3 videos on Hallway • 3 recommendations

Open on YouTube

Using TLA+ for fun and profit in the development of Elasticsearch - Yannick Welsch

TLA+ - The Temporal Logic of Actions

Recommended by 17 years ago

Dharma Shukla: TLA+ at Microsoft to build planetary-scale systems - Keynote TLA+ Community Event

TLA+ - The Temporal Logic of Actions

Recommended by 15 years ago

TLA+ in Engineering Systems – Quinceañera - David Langworthy

TLA+ - The Temporal Logic of Actions

Recommended by 18 years ago