Skip to search formSkip to main contentSkip to account menu

Bounded Retransmission Protocol

Bounded Retransmission Protocol is a variant of the alternating bit protocol introduced by Philips. The service it delivers is to transfer in a… 
Wikipedia (opens in a new tab)

Related topics

Related topics

1 relation
Alternating bit protocol

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Quantitative Verification of the Bounded Retransmission Protocol
In order to verify the reliability of the bounded retransmission protocol, probabilistic model checking technology is used in… 
2013
2013
Spesifikasi dan Verifikasi Bounded Retransmission Protocol Secara Formal dengan Temporal Logic of Actions
2010
2010
Modeling and Analysis of Bounded Retransmission Protocol in the Ad Hoc Network
In Ad Hoc network,mobile node with limited bandwidth moves frequently and topology changes dynamically.The communication between… 
2009
2009
Sdl for Real-time: What Is Missing? 1
2007
2007
Verifying a Bounded Retransmission Protocol using VIS
The paper reports on the formal veri cation of a bounded retransmission protocol for large data packets with model checking. The… 
2000
2000
Modelling and Analysis of the Bounded-Retransmission Protocol: Experience with Discrete Time in the LTSA
The Bounded Retransmission Protocol is an industrial protocol designed for the transfer of large data files over unreliable… 
1999
1999
Exploring properties of a bounded retransmission protocol with VIS
It is of great interest for users of communication protocols to have a proof that they are correct and reliable to use. In order… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)