Recoverability of communication protocols - implications of a theoretical study. (English) Zbl 0362.68096
MSC:
68Q45 | Formal languages and automata |
68N01 | General topics in the theory of software |
68W99 | Algorithms in computer science |
68Q45 | Formal languages and automata |
68N01 | General topics in the theory of software |
68W99 | Algorithms in computer science |