Распределенные алгоритмы
... данных и набора процедур, которые могут выполняться над этими данными , с помощью их вызова процессами способом, использующим взаимное исключение.
Модель является, и достаточно общей, чтобы быть подходящей для разработки и проверки алгоритмов и...