Publication:4493887

zbMath0954.68110MaRDI QIDQ4493887

Francis Klay, Jean-François Monin

Publication date: 1999

zbMATH Keywords

ABR; ATM cells; conformance control

Mathematics Subject Classification ID

90B18: Communication networks in operations research

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68M12: Network protocols

Uses Software

• Coq
• HyTech
• Uppaal