Non-deterministic transducer models of retransmission protocols over noisy channels (Q2346564)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Non-deterministic transducer models of retransmission protocols over noisy channels |
scientific article |
Statements
Non-deterministic transducer models of retransmission protocols over noisy channels (English)
0 references
2 June 2015
0 references
formal methods
0 references
protocols
0 references
noisy channels
0 references
string transducers
0 references
0 references