learning - proved, using updr
learning with count
spanning tree
leader - proved, using iupdr
client server
chord
flash
hotel
chain panda
gc copy - proved, mainly using cti
bakery
