A General Approach to Trace-Checking in Distributed Computing Systems.

Claude Jard, Thierry Jron, Guy-Vincent Jourdan, Jean-Xavier Rampon

Browse the full ICDCS paper archive.