BcastRecCompOrdBcastWithResRec (basic)

CompoundOrderedBroadcastWithResultReceiver.java

Receiver1.java

Receiver2.java

Receiver3.java

main.xml