Gadi Taubenfeld

The concurrency hierarchy, and algorithms for unbounded concurrency

Eli Gafni, Michael Merritt, Gadi Taubenfeld · 2001 · 55 citations

Computing, Computer Science, Computer Systems +12

Results about fast mutual exclusion

Rajeev Alur, Gadi Taubenfeld · 2003 · 54 citations

Computing, Computer Engineering, Computer Science +8

Disentangling multi-object operations (extended abstract)

Yehuda Afek, Michael Merrit, Gadi Taubenfeld et al. · 1997 · 51 citations · Full text

Computing, Computer Science, Distributed Systems +4

Script: A communication abstraction mechanism and its verification

Nissim Francez, Brent Hailpern, Gadi Taubenfeld · Science of Computer Programming · 1986 · 43 citations

Computing, Computer Science, Computer Systems +9

Computing with faulty shared objects

Yehuda Afek, David S. Greenberg, Michael Merritt et al. · Journal of the ACM · 1995 · 42 citations · Full text

Computing, Computer Science, Computer Systems +5