Hi,

If I have 2 processes:

Process 1:
receive(ANY, msg);
send(back, msg);

Process 2:
senda(proc 1, msg1);
senda(proc 1, msg2);
receive(proc 1, msg3);
receive(proc 1, msg4);

My question is that: can I make sure that the msg3 is the reply of
msg1, and the msg4 is the reply of msg2? In other words, can I make
sure the order of replies is the same with the order of requests which
are sent from the same process?

Thanks,
Wu