|
Modelling and Analysis of the Simultaneous Open Procedures of Datagram Congestion Control Protocol |
|---|---|
| รหัสดีโอไอ | |
| Title | Modelling and Analysis of the Simultaneous Open Procedures of Datagram Congestion Control Protocol |
| Creator | Somsak Vanit-Anunchai |
| Publisher | มหาวิทยาลัยเทคโนโลยีสุรนารี |
| Publication Year | 2554 |
| Keyword | Coloured petri nets, Reachability analysis, Hole punching |