Replication and fault-tolerance in the ISIS system