Deriving distributed algorithms from a general predicate detector.

J. Roger Mitchell, Vijay K. Garg

Browse the full COMPSAC paper archive.