Roberto Baldoni Giacomo Cioffi Jean-Michel Hélary Michel Raynal Direct dependency-based determination of consistent global checkpoints. 43-49 2001 16 Comput. Syst. Sci. Eng. 1 db/journals/csse/csse16.html#BaldoniCHR01