Вашему вниманию предлагается "Модели параллельных процессов в распределенных системах" В.В. Доенин.