多态X—演算

The paper proposes polyadic χ-calculus.The language is stronger than χ-calculus in communication.It can exchange several information once time.In the paper we define the syntax and semantics structure of polyadic χ-calculus,and study the hisimulation relations of it.