Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols

Gallasch, Guy Edward; Billington, Jonathan

doi:10.1007/11562948_34

Search citation statements

Order By: Relevance

Paper Sections

Select...

Retransmission Timer Expires1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2006

2013

Publication Types

Select...

Book3

Other1

Article1

Relationship

Self Cite1

Independent4

Authors

Journals

Cited by 5 publications

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Figure 1: Credit-based flow control scenario quence number) [6,7]. All the work mentioned above uses acknowledgements for both flow control and error control.…”

Section: Retransmission Timer Expiresmentioning

confidence: 99%

An investigation of credit-based flow control protocols

Billington¹,

Saboo²

2008

Proceedings of the First International ICST Conference on Simulation Tools and Techniques for Communications Networks and Syste

Self Cite

View full text Add to dashboard Cite

Credit-based flow control mechanisms, such as those used in the Transmission Control Protocol, allow flow control and error control procedures of data transfer protocols to operate independently. We create a Coloured Petri Net model of a class of data transfer protocols, which uses retransmissions and acknowledgements for error control and "credits" for flow control. This model is characterized by 3 parameters: the maximum sequence number, the maximum number of retransmissions and the maximum receiver buffer size. From the analysis results, we derive expressions in these parameters for the channel bounds and the number of terminal states. These expressions are verified for a range of values of the parameters.

show abstract

“…Figure 1: Credit-based flow control scenario quence number) [6,7]. All the work mentioned above uses acknowledgements for both flow control and error control.…”

Section: Retransmission Timer Expiresmentioning

confidence: 99%