O'Reilly logo
  • Hongdi Li thinks this is interesting:

Multiple events from the same sender FSM to the same receiver FSM will be consumed in the same relative order that they were generated. This is crucial to proper management of data integrity in an asynchronous behavior model with state variables; without this rule the developer’s mind will tend to boggle. It can occasionally be a pain for the transformation engine to enforce, but we simply can’t live without it.

From

Cover of Model-Based Development: Applications

Note

What's the example?