Apress / practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne

Apress/practical-tla-plus Issues

Chapter 3 - page 54
Closed 4 years ago3
Chapter 2 - Pluscal, Page 33
Closed 4 years ago2
Chapter 5 - Concurrency: Typos and Questions
Closed 4 years ago2
Complex Behaviours
Closed 4 years ago
Chapter 7: binary search and overflows
Closed 4 years ago1
Typo
Closed 4 years ago2
Chapter 3 - page 45
Updated 4 years ago
Add a copy of each iteration for each modules
Updated 4 years ago
Add a comment to each algorithm with a book page number
Updated 4 years ago
Pluscal translation of algorithms
Updated 4 years ago
Repository does not contain PT library
Closed 6 years ago3