The x-Calculus

The paper proposes a new process algebra, called chi-calculus. The language differs from pi-calculus in several aspects. First it takes a more uniform view on input and output. Second, the closed names of the language is homogeneous in the sense that there is only one kind of bound names. Thirdly, the effects of communications in chi-calculus are delimited by localization operators, not by sequentiality combinator. Finally, the language cherishes more freedom of parallelism than pi-calculus. The algebraic properties of chi-processes are studied in terms of local bisimulation. It is shown that local bisimilarity is a congruence equivalence on chi-processes.