<platform version="3">
<!-- 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
<platform version="3">
<!-- 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