search

tlaplus / Examples

A collection of TLA⁺ specifications of varying complexities
Other
1.29k stars 200 forks source link

Applied Specifying Systems errata fix to exercises #102

Closed ahelwer closed 10 months ago

ahelwer commented 10 months ago

Changed all instances of "req" to "busy". Fixes #101