Apress / practical-tla-plus

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

Complex Behaviours #4

Closed mweetman-redhat closed 3 years ago

mweetman-redhat commented 5 years ago

Page 34 says "There are three basic ways to do this."

Then we have Multiple Starting States with an example, followed by Nondeterministic Behavior with an example. The summary then confirms that there are only 2 ways discussed... is there another way that may have been dropped?