A synchronization algorithm for processes with dynamic priorities in computer networks with node failures.