A methodology to design arbitrary failure detectors for distributed protocolsJOURNAL OF SYSTEMS ARCHITECTUREIF4.12008-07-012PREAI
Early stopping in global data computationIEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMSIF62003-09-018PREAI
Efficient causality-tracking timestampingIEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERINGIF10.42003-09-017PREAI
Computing global functions in asynchronous distributed systems with perfect failure detectorsIEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMSIF62000-01-0134PREAI
Communication-induced determination of consistent snapshotsIEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMSIF61999-01-0135PREAI
Consistency issues in distributed checkpointsIEEE TRANSACTIONS ON SOFTWARE ENGINEERINGIF5.61999-01-0135PREAI
Deadlock models and a general algorithm for distributed deadlock detection (vol 31, pg 112, 1995)JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTINGIF41996-02-011OAAI