By using Lamport timestamps, we can determine the causality of messages. It is however unclear to me how one would deduce this simply from the lamport timestamp of the message.
Take the following model situation: there is a casuality break when it comes to process 2:
Now, we add Lamport clocks (hopefully I have done that correctly)
I'm at loss when it comes to understanding how I can read out the correct casuality of received messages by process 2 from just the timestamps. Unless I haven't determined the timestamps properly.
It looks like there's some additional information needed to do that. Maybe to save the timestamp of the message itself, and the id of the sending process?