Client read slots algorithm - Cleaning up, adding error function, making sure that slots are processed in order

Revised client algorithm - part that gets slots from server

Replacing primes with subscripts for MaxSlot and MinSlot

Adding empty set as another return value for a true condition in PutSlot

Using \tuple{} for expressing tuples

Adding helper functions for server part; cleaning up

Cleaning up PutSlot function

edits

Renaming Get and Put into GetSlot and PutSlot; Cleaning up PutSlot

clean up some definitions plus get function

Server algorithm revised - two basic functions, e.g. put and get; preliminary writeup for definitions part

Adding client algorithm; modifying some parts of server algorithm - first draft

Adding server algorithm

more comments

add notes

Completing login and key management (part 1.1)

Give more explanations on data entries, add a few punctuations, etc.

Force proof on failed write

typo

Add document