I somehow glanced over this, thanks for pointing it out. This definition suggests that "federated" is strictly equal to "decentralized", which is coincidentally not strictly in conflict with what I wrote (though a very unorthodox definition of federated, as it doesn't imply any federation).

Even so, IRC has no business in this list per the authors definition.