Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line method

2007 ◽  
Vol 10 (1) ◽  
pp. 29-56 ◽  
Author(s):  
Somsak Vanit-Anunchai ◽  
Jonathan Billington ◽  
Guy Edward Gallasch
Keyword(s):  
Congestion Control ◽  
Connection Management ◽  
Line Method ◽  
Management Procedures ◽  
Sweep Line

scholarly journals Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting Terminal States

2004 ◽  
Vol 34 (1) ◽  
pp. 23-37 ◽  
Author(s):  
J. Billington ◽  
G.E. Gallasch ◽  
L.M. Kristensen ◽  
T. Mailund
Keyword(s):  
Line Method ◽  
Sweep Line

Checking safety properties on-the-fly with the sweep-line method

2007 ◽  
Vol 9 (3-4) ◽  
pp. 371-391 ◽  
Author(s):  
Guy Edward Gallasch ◽  
Jonathan Billington ◽  
Somsak Vanit-Anunchai ◽  
Lars Michael Kristensen
Keyword(s):  
Safety Properties ◽  
Line Method ◽  
Sweep Line
Sign in / Sign up

Export Citation Format

Share Document