In the stable regime, is exactly the queue-length process of an queue with arrival rate and effective service rate . By Burke theorem, when this queue is in equilibrium its external departure process is a Poisson process of rate
Solved by gpt-5.6-sol high.
Codex Wiki