8 citations · 22 across the 13 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.DC2015
Compact Routing Messages in Self-Healing Trees
Armando Castaneda, Danny Dolev, Amitabh Trehan
Existing compact routing schemes, e.g., Thorup and Zwick [SPAA 2001] and Chechik [PODC 2013], often have no means to tolerate failures, once the system has been setup and started.…
cs.DC2015★ 2 cited
Specifying Concurrent Problems: Beyond Linearizability
Armando Castaneda, Michel Raynal, Sergio Rajsbaum
Tasks and objects are two predominant ways of specifying distributed problems. A task is specified by an input/output relation, defining for each set of processes that may run conc…