TCP-spec

TLA+ specification of a congestion control protocol

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
.gitignore		.gitignore
AIMD.pdf		AIMD.pdf
AIMD.tla		AIMD.tla
GeneralPathModel.tla		GeneralPathModel.tla
README.md		README.md
RateLimit.tla		RateLimit.tla
Reno.pdf		Reno.pdf
Reno.tla		Reno.tla
SimplePathModel.pdf		SimplePathModel.pdf
SimplePathModel.tla		SimplePathModel.tla
Time.tla		Time.tla

Provide feedback