Toward formally verifying congestion control behavior
| Main Authors: | , , , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | English |
| Published: |
ACM
2022
|
| Online Access: | https://hdl.handle.net/1721.1/142728 |
| _version_ | 1826202252656771072 |
|---|---|
| author | Arun, Venkat Arashloo, Mina Tahmasbi Saeed, Ahmed Alizadeh, Mohammad Balakrishnan, Hari |
| author2 | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory |
| author_facet | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory Arun, Venkat Arashloo, Mina Tahmasbi Saeed, Ahmed Alizadeh, Mohammad Balakrishnan, Hari |
| author_sort | Arun, Venkat |
| collection | MIT |
| first_indexed | 2024-09-23T12:04:35Z |
| format | Article |
| id | mit-1721.1/142728 |
| institution | Massachusetts Institute of Technology |
| language | English |
| last_indexed | 2024-09-23T12:04:35Z |
| publishDate | 2022 |
| publisher | ACM |
| record_format | dspace |
| spelling | mit-1721.1/1427282023-04-11T20:38:32Z Toward formally verifying congestion control behavior Arun, Venkat Arashloo, Mina Tahmasbi Saeed, Ahmed Alizadeh, Mohammad Balakrishnan, Hari Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory 2022-05-25T16:26:30Z 2022-05-25T16:26:30Z 2021 2022-05-25T16:22:54Z Article http://purl.org/eprint/type/ConferencePaper https://hdl.handle.net/1721.1/142728 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. en 10.1145/3452296.3472912 Proceedings of the 2021 ACM SIGCOMM 2021 Conference Creative Commons Attribution-ShareAlike 4.0 International https://creativecommons.org/licenses/by-sa/4.0/ application/pdf ACM ACM |
| spellingShingle | Arun, Venkat Arashloo, Mina Tahmasbi Saeed, Ahmed Alizadeh, Mohammad Balakrishnan, Hari Toward formally verifying congestion control behavior |
| title | Toward formally verifying congestion control behavior |
| title_full | Toward formally verifying congestion control behavior |
| title_fullStr | Toward formally verifying congestion control behavior |
| title_full_unstemmed | Toward formally verifying congestion control behavior |
| title_short | Toward formally verifying congestion control behavior |
| title_sort | toward formally verifying congestion control behavior |
| url | https://hdl.handle.net/1721.1/142728 |
| work_keys_str_mv | AT arunvenkat towardformallyverifyingcongestioncontrolbehavior AT arashloominatahmasbi towardformallyverifyingcongestioncontrolbehavior AT saeedahmed towardformallyverifyingcongestioncontrolbehavior AT alizadehmohammad towardformallyverifyingcongestioncontrolbehavior AT balakrishnanhari towardformallyverifyingcongestioncontrolbehavior |