A Markovian Queueing Network Model for Performance Evaluation of Bus-Deficient Multiprocessor Systems