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