An application of queueing theory to the design of a message-switching computer system
Inexact or real-world queueing techniques are used to determine that the number of buffers provided in system design is indeed adequate to guard against message loss.