Deriving distributed algorithms from a general predicate detector. - J. Roger Mitchell; Vijay K. Garg (COMPSAC, 1995)

Detecting conjunctive channel predicates in a distributed programming environment. - Vijay K. Garg; Craig M. Chase; J. Roger Mitchell; Richard B. Kilgore (HICSS (2), 1995)

Optimistic agreement in distributed systems. - J. Roger Mitchell; Vijay K. Garg (PDPTA, 1997)

Detecting Conjunctions of Global Predicates. - Vijay K. Garg; J. Roger Mitchell (Inf. Process. Lett., 1997)

Efficient Detection of Channel Predicates in Distributed Systems. - Vijay K. Garg; Craig M. Chase; Richard B. Kilgore; J. Roger Mitchell (J. Parallel Distributed Comput., 1997)

Implementable Failure Detectors in Asynchronous Systems. - Vijay K. Garg; J. Roger Mitchell (FSTTCS, 1998)

Distributed Predicate Detection in a Faulty Environment. - Vijay K. Garg; J. Roger Mitchell (ICDCS, 1998)

A Non-Blocking Recovery Algorithm for Causal Message Logging. - J. Roger Mitchell; Vijay K. Garg (SRDS, 1998)