M-ary commitment protocol with partially ordered domain

Abstract

Distributed applications are realized by the cooperation of multiple processes. A group of the processes have to make consensus to do the cooperation. The processes exchange the values with the other processes to make consensus. The processes are referred to as consent if each process takes one value which satisfies a consensus condition. A dominant relation among the values is defined to show what values the processes can take after taking a value in the consensus protocol. Each process decides what value to be taken after taking one value by using the dominant relation. In this paper, we discuss how to make consensus in a group of multiple processes by using the dominant relation.