J Sztrik - Formal Methods in Computing, 2001 - irh.inf.unideb.hu
A single station queueing system consists of a queueing buffer of finite or infinite size and
one or more identical servers. Such an elementary queueing system is also referred to as a …