Pluscal translation of algorithms
heidihoward opened this issue · comments
Some algorithms in this repo include Pluscal translation, others (such as recycler.tla) do not. I think it would be useful if all algorithms included translations
Apress / practical-tla-plus
Source Code for 'Practical TLA+' by Hillel Wayne