Подыстория H|X системы по объекту X может содержать вызовы методов объекта Y?
Упорядоченная согласованность гарантирует порядок исполнения методов:
Одинаковая линеаризация вызовов методов разделяемого объекта универсальным объектом осуществляется при помощи:
Характеристикой GRID-системы является:
Как называется подход, предполагающий лёгкое масштабирование параллельной системы при увеличении нагрузки?
Может ли существовать неблокирующий протокол консенсуса без критических состояний?
Консенсус может быть реализован при помощи критических секций?
Может ли существовать модель программы с пустым множеством конечных состояний?
История, у которой вызовов на один меньше, чем возвратов, может быть: