Logical consensus for distributed network agreement. - Adriano Fagiolini; Elena Maria Visibelli; Antonio Bicchi (CDC, 2008)