From fidlerGuideStochasticNetwork2015 we have the following definition of the backlog Where is the length of the backlog at time . & where is the total amount of bits arrived in and is the service at time

Alternatively we can use the following definition: where Putting it together we get