Diving into the queueSimon Beier, Martin Kutrib, Andreas Malcher and Matthias WendlandtRAIRO-Theor. Inf. Appl., 52 2-3-4 (2018) 89-110DOI: https://doi.org/10.1051/ita/2018009