moving things to their own files
updating with some more differences between implementations
adding some discussion on keeping logical clocks as part of the actors