State representation tradeoffs in Markov chains of serialization delays in computer systemsAlexander ThomasianBehzad Nadji1993CSSE