Ajei Gopal

Program testing by specification mutation

Timothy A. Budd, Ajei Gopal · Computer Languages · 1985 · 89 citations

Computing, Computer Engineering, Computer Science +13

Restoring consistent global states of distributed computations

Arthur P. Goldberg, Ajei Gopal, Andy Lowry et al. · 1991 · 45 citations · Full text

Computing, Computer Science, Computer Systems +11

Unifying self-stabilization and fault-tolerance

Ajei Gopal, Kenneth J. Perry · 1993 · 37 citations · Full text

Computing, Computer Engineering, Computer Systems +11

Early-delivery atomic broadcast

Ajei Gopal, Ray Strong, Sam Toueg et al. · 1990 · 26 citations

Computing, Computer Systems, Decision Support Systems +5

Inconsistency and contamination (preliminary version)

Ajei Gopal, Sam Toueg · 1991 · 21 citations

Computing, Computer Science, Fault Tolerance +4