TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

RT @RafatSarosh: Debugging designs with TLA+ https://t.co/7sCGc1fp0B #CosmosDB

5 hours ago
RT @lemmster: @Hillelogram @muratdemirbas @muratdemirbas will do a full talk on #CosmosDB as part of the Dr. TLA+ series https://t.co/Gp5sYIXeIe #tlaplus

4 days ago
Can a fellow #mac user assist with https://t.co/0xZsCZU4ua ? Will probably just take a minute or two.

7 days ago
RT @AzureCosmosDB: [Video] Foundations of #Azure #CosmosDB - #MultiMaster w/ Dr. Leslie Lamport https://t.co/KvDo50Fs3V #MSIgnite… https://t.co/vXlmMR6tNd

3 weeks ago
Leslie Lamport at the Heidelberg Laureate Forum: If You’re Not Writing a Program, Don’t Use a Programming Language https://t.co/JZOC3kSju9

3 weeks ago