<!-- For each host, we have a sender and a receiver (because we use a
1-port model and still don't want any deadlocks neither synchronization
delays).
<!-- For each host, we have a sender and a receiver (because we use a
1-port model and still don't want any deadlocks neither synchronization
delays).