A self-stabilizing algorithm for constructing a minimal reachable directed acyclic graph with two senders and two targets

From MaRDI portal
Publication:2034405