* we added the detailed proofs for all results stated in the paper,
  (in the conference version of the paper the proofs were omitted);

* streamlined the presentation of the first algorithm Detector: to
  consider a single fault first and then extend to multiple faults
  later. This makes the presentation more uniform with the other
  algorithm: Explorer

* we extended the topology discovery algorithms to handle topology
  updates;

* we extended the algorithms to discover immediate neighborhoods
  with the known ports.