Some explicit formulas and computational methods for infinite-server queues with phase-type arrivals · Study