Model checking optimisation based congestion control algorithms

DOI10.3233/FI-2010-298MaRDI QIDQ3008107zbMATH OpenOpenAlexFDO

Authors Alessio Lomuscio, Nigel Walker, Ben Strulo, Peng Wu

Publication date 14 June 2011

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2010-298

zbMATH Keywords

congestion controlconvergencedistributed optimisationmodel checking

Mathematics Subject Classification ID

Network protocols (68M12) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Duality-based TCP congestion control with error analysis
• scientific article; zbMATH DE number 910719
• Modelling and predictive congestion control of TCP protocols
• A survey of optimal network congestion control for unicast and multicast transmission
• The mathematics of internet congestion control

Cited in

(1)

• scientific article; zbMATH DE number 1746650 (Why is no real title available?)

Describes a project that uses

Uses Software

• NuSMV
• Uppaal

This page was built for publication: Model checking optimisation based congestion control algorithms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3008107)