documentation: improve info on logical time, clocks and threads