Нет, такого алгоритма нет, и есть доказательство, см., Например, теорему 2.21 в G. Tel. Введение в распределенные алгоритмы, 2-е изд.Грубо говоря, в теореме утверждается, что с учетом причинного упорядочения событий фактическое вычисление может выполняться любым способом, совместимым с причинным упорядочением.