The Queue M/G/1 with the Shortest Remaining Processing Time Discipline | Synapse