TY - SER AU - Zhou, Wanlei TI - A tool for layered analysing and understanding of distributed programs KW - DISTRIBUTED SYSTEMS KW - EVENT-BASED DEBUGGING KW - EXECUTION REPLAY KW - PROGRAM ANALYSIS N1 - Distributed programs are harder to analyse and understand than sequential programs for a number of reasons. First, a distributed program consists of many entities at different levels of abstraction. Second, communication among the entities of a distributed program may happen concurrently and nondeterministically ER -