Non-deterministic transducer models of retransmission protocols over noisy channels
Data(s) |
2015
|
---|---|
Resumo |
Retransmission protocols such as HDLC and TCP are designed to ensure reliable communication over noisy channels (i.e., channels that can corrupt messages). Thakkar et al. 15] have recently presented an algorithmic verification technique for deterministic streaming string transducer (DSST) models of such protocols. The verification problem is posed as equivalence checking between the specification and protocol DSSTs. In this paper, we argue that more general models need to be obtained using non-deterministic streaming string transducers (NSSTs). However, equivalence checking is undecidable for NSSTs. We present two classes where the models belong to a sub-class of NSSTs for which it is decidable. (C) 2015 Elsevier B.V. All rights reserved. |
Formato |
application/pdf |
Identificador |
http://eprints.iisc.ernet.in/51938/1/Inf_Pro_Let_115-9_694_2015.pdf Thakkar, Jay and Kanade, Aditya (2015) Non-deterministic transducer models of retransmission protocols over noisy channels. In: INFORMATION PROCESSING LETTERS, 115 (9). pp. 694-698. |
Publicador |
ELSEVIER SCIENCE BV |
Relação |
http://dx.doi.org/10.1016/j.ipl.2015.04.009 http://eprints.iisc.ernet.in/51938/ |
Palavras-Chave | #Computer Science & Automation (Formerly, School of Automation) |
Tipo |
Journal Article PeerReviewed |