BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
protocol (3)
network (2)
bound (2)
verif (2)
be (1)

Stem retransmiss$ (all stems)

5 papers:

SACSAC-2011-SreekumariC #multi #network
A new TCP mechanism for reducing retransmission timeouts over multi-hop wireless networks (PS, SHC), pp. 498–505.
SACSAC-2010-LenzLS #named #network #streaming #video
SeRViSO: a selective retransmission scheme for video streaming in overlay networks (CEL, LCL, FAS), pp. 694–698.
TACASTACAS-1999-AbdullaAB #bound #protocol #verification
Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol (PAA, AA, AB), pp. 208–222.
TACASTACAS-1997-DArgenioKRT #bound #exclamation #protocol
The Bounded Retransmission Protocol Must Be on Time! (PRD, JPK, TCR, JT), pp. 416–431.
FMFME-1997-MokkedemFJ #protocol #specification #verification
A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol (AM, MJF, RdBJ), pp. 398–417.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.