remove dead code
documentation: improve info on logical time, clocks and threads