The comparison realization of the expressions based on π-calculus

摘要

A highly efficient tool for modeling the mobile system, π-calculus, however, has limited power in solving the problem of authority comparison in concurrent modeling during a mobile phone conference. By applying the underlying algorithm of comparison elements based on π-calculus, the paper offers two methods: one is to match every element with its specific element expression so that a result could come from the comparison between one element and the element expression of another element when the comparison operation is made; the other one is to use the transitive feature of well-ordered sets to simplify the problem description so that a comparison could be made by matching two elements in turns with the element in the well-ordered set. The detailed discussion is followed in their strengths and limitations respectively.