Trivedi, Kishor S. Heidelberger, Philip Analytic Queueing Models for Programs with Internal Concurrency - 73-82 p. Subjects--Topical Terms: Approximate SolutionMarkov ChainMultiprocessing Systems