Deducible and Equivalent Structural Knowledges in Distributed Algorithms

Emmanuel Godard, Yves Métivier. Deducible and Equivalent Structural Knowledges in Distributed Algorithms. Theory Comput. Syst., 36(6):631-654, 2003. [doi]

Abstract

Abstract is missing.