| 3198 |
Race conditions cannot be removed using co-region fields |
In some situations, race conditions between messages may be considered valid, but invalid for the corresponding states. In these situations, being able to draw co-regions around states would take care of this, but it is not possible to do this.
|