A schematic law dealing with localization operator is proposed for pi calculus. It is shown that the law renders the use of distinction unnecessary in the axiomatic theory of open congruence.
基金supported by the National Natural Science Foundation of China for Distinguished Young Scholars(Grant No.60225012)the Development Fund of Shanghai Committee of Science and Technology(Grant No.025115032).
文摘A schematic law dealing with localization operator is proposed for pi calculus. It is shown that the law renders the use of distinction unnecessary in the axiomatic theory of open congruence.
