1996 · 17 citations · 8 references
ComputingComputer EngineeringComputer ScienceFormal MethodsEvent RepresentationTau PathologyDebuggingExecution Trace AnalysisFormal Debugging
8
Restoring consistent global states of distributed computations
Arthur P. Goldberg, Ajei Gopal, Andy Lowry et al. · 1991 · 45 citations · Full text
High-level debugging in parasight
Z. Aral, I. Gertner · 1988 · 36 citations · Full text