Outline for February 1, 2001

1.	Greetings and felicitations!

a.	Friday times good, also Tuesday 3-4:30. Please send me your preferences!

2.	Clocks

b.	Vector clocks and causal relation

c.	ordering of messages so you receive them in the order sent

i.	why

ii.	for broadcast (ISIS): Birman-Schiper-Stephenson

iii.	for point to point: Schiper-Eggli-Sandoz

3.	Global state

a.	Show problem of slicing state when something is in transit

b.	Define local state; send(mij) ? LSi iff time of send(mij) < current time of LSi; similar for receive

c.	transit(LSi, LSj); inconsistent(LSi, LSj); consistent state is one with inconsistent set empty for all pairs LSi, 
LSj

d.	Consistent global state: Chandry-Lamport

4.	Termination detection

a.	Haung