Distributed processing algorithms based on Leslie Lamport ideas