PlusCalPlusCalconcurrencyTLA+PlusCal is a language for writing algorithms that translates into TLA+. It is an invaluable tool for reasoning about concurrency.Read more →
