The results on the synchronisation of automaton with bounded delay established so far did not keep the property of being subsequential. |
|
We prove that has a unique weak subsequential limit in. |
|
Theorem 1 The sequential method I is regular and subsequential. |
|
This also applies to products already on order provided that such alternations can be made without subsequential changes being necessary in specifications already agreed. |
|