TY - SER AU - Trivedi, Kishor S. AU - Heidelberger, Philip TI - Analytic Queueing Models for Programs with Internal Concurrency KW - Approximate Solution KW - Markov Chain KW - Multiprocessing Systems ER -