Algebraic specification of ABP protocol using different time constraints | Publicación