Author_Institution :
Dept. of Comput. Sci., Shanghai Jiaotong Univ., China
Abstract :
The paper proposes a new process algebra, called χ-calculus. The language differs from π-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 χ-calculus are delimited by localization operators, not by sequentiality combinator. Finally, the language cherishes more freedom of parallelism than π-calculus. The algebraic properties of χ-processes are studied in terms of local bisimulation. It is shown that local bisimilarity is a congruence equivalence on χ-processes
Keywords :
parallel programming; process algebra; χ-calculus; algebraic properties; congruence equivalence; local bisimulation; localization operators; parallelism; process algebra; Algebra; Calculus; Computational modeling; Concurrent computing; Parallel processing;
Conference_Titel :
Advances in Parallel and Distributed Computing, 1997. Proceedings
Conference_Location :
Shanghai
Print_ISBN :
0-8186-7876-3
DOI :
10.1109/APDC.1997.574016
