A single-server queue with batch arrivals and semi-Markov services · Study