Formal modelling of TCP congestion control mechanisms ECN/RED and SAP-LAW in the presence of UDP traffic

Mazhar H. Malik, Mohsin Jamil, Muhammad N. Khan, Mubasher H. Malik. Formal modelling of TCP congestion control mechanisms ECN/RED and SAP-LAW in the presence of UDP traffic. EURASIP J. Wireless Comm. and Networking, 2016:156, 2016. [doi]

@article{MalikJKM16,
  title = {Formal modelling of TCP congestion control mechanisms ECN/RED and SAP-LAW in the presence of UDP traffic},
  author = {Mazhar H. Malik and Mohsin Jamil and Muhammad N. Khan and Mubasher H. Malik},
  year = {2016},
  doi = {10.1186/s13638-016-0646-9},
  url = {http://dx.doi.org/10.1186/s13638-016-0646-9},
  researchr = {https://researchr.org/publication/MalikJKM16},
  cites = {0},
  citedby = {0},
  journal = {EURASIP J. Wireless Comm. and Networking},
  volume = {2016},
  pages = {156},
}