Describir: El problema de sincronizacion de relojes en sistemas de computo distribuidos desde el punto de vista formal del conocimiento