compensation procedure; Markov process; multiprogramming queues; product forms