scientific article; zbMATH DE number 1746650

MaRDI QIDQ4530812zbMATH OpenFDO

Authors Clement Yuen, Wei Tjioe

Publication date 9 June 2002

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• Congestion control in computer networks
• scientific article; zbMATH DE number 1786166
• Model checking optimisation based congestion control algorithms
• System dynamics simulation of computer networks: Price-controlled QoS framework
• Fluid modelling of packet switching networks: perspectives for congestion control

Cited in

(2)

• Model checking learning agent systems using Promela with embedded C code and abstraction
• System dynamics simulation of computer networks: Price-controlled QoS framework

Describes a project that uses

Uses Software

• Java PathFinder

This page was built for publication:

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