Toward formally verifying congestion control behavior

Arun, Venkat; Arashloo, Mina Tahmasbi; Saeed, Ahmed; Alizadeh, Mohammad; Balakrishnan, Hari

Toward formally verifying congestion control behavior

Download

Name

3452296.3472912.pdf

Description

Published version

Size

1.35 MB

Format

Adobe PDF

Checksum (MD5)

9db5934901cb69996f03727f2484caba

sword-2022-05-25T16:22:54.original.xml (130 B)

Original SWORD entry document

Author(s)

Arun, Venkat

•

Arashloo, Mina Tahmasbi

•

Saeed, Ahmed

•

Alizadeh, Mohammad

•

Balakrishnan, Hari

Date Issued

2021

Journal

Proceedings of the 2021 ACM SIGCOMM 2021 Conference

Publisher

ACM

Citation

Arun, Venkat, Arashloo, Mina Tahmasbi, Saeed, Ahmed, Alizadeh, Mohammad and Balakrishnan, Hari. 2021. "Toward formally verifying congestion control behavior." Proceedings of the 2021 ACM SIGCOMM 2021 Conference.

Version

Final published version

MIT Department

Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory

Terms of Use

Creative Commons Attribution-ShareAlike 4.0 International

https://creativecommons.org/licenses/by-sa/4.0/

Persistent DSpace Link

https://hdl.handle.net/1721.1/142728

DOI of Published Version

https://doi.org/10.1145/3452296.3472912