Ιούνιος+2003+(Clocks)

__Απάντηση:__ C1 = h1.2 + h2.2 + h3.1 =  +  +  επειδή e3.2~>e2.2 και e2.2 ανήκει στην C1 ενώ το e3.2 δεν ανήκει στην C1 η C1 δεν είναι συνεπής

C2 = h1.2 + h2.3 + h3.2 =  +  +  επειδή για κάθε e ανήκει στην C2 κάθε e' τέτοιο ώστε e'~>e ανήκει και αυτό στην C2 η C2 είναι συνεπής

vector clocks με μπλε οι χρονοσφραγίδες των γεγονότων και με μωβ οι χρονοσφραγίδες των μηνυμάτων



include component="comments" page="Ιούνιος 2003(θέμα 2)" limit="10"