During the processes, events occur, and we model these events with the space-time diagram.
Some questions
Question: Does happen before ? It cannot be said, because the question has no meaning. The order depends on the run.
Question: Does happen before ? Yes, since these two events happen in the same process, so there is an order. That’s because can influence the following events.
Question: Does happen before ? Yes because since sends a message to , the second process depends on the first one and since it has to happen after.