An infinite dimensional model for a many server priority queue | IEEE Conference Publication | IEEE Xplore