search

Apress / practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne
Other
287 stars 67 forks source link

Pluscal translation of algorithms #9

Open heidihoward opened 3 years ago

heidihoward commented 3 years ago

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