MiniTest.txt

1. Vector clocks, contrary to Lamport clock, also fulfills the strong clock consistency condition.
2. -if ex is a send event and ey is the recieve event of the same message then ex => ey
   -if ex => ey and ey => ez, then ex => ez
3. It happens before. If you do it afterwards it's possible that another message arrives before the clock is incremented and that can result in an inconsistent state.


5.	Vector clocks are designed under the assumption that there is a constant amount of processes and you have to know the number of processes in advance.
	Today, in most distributed applications you need vector clocks which can grow dynamically. In the paper they proposed dynamic vector clocks which can overcome these disadvantages.