Formal specification and verification of TCP extended with the Window Scale Option

出版年份 2016 全文链接

标题

作者

关键词

μ, CRL, Process algebra, Transmission control protocol, Window scale option, Sliding window protocol

出版物

Volume 118, Issue -, Pages 3-23

出版商

Elsevier BV

发表日期

2015-08-13

DOI

10.1016/j.scico.2015.08.005

联系作者

Explore over 25,000 new funding opportunities and over 6,000,000 successful grants.

Explore

Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.

Get Started