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