The χ-calculus

Abstract

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