DocumentCode
2818753
Title
The χ-calculus
Author
Fu, Yuxi
Author_Institution
Dept. of Comput. Sci., Shanghai Jiaotong Univ., China
fYear
1997
fDate
19-21 Mar 1997
Firstpage
74
Lastpage
81
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Advances in Parallel and Distributed Computing, 1997. Proceedings
Conference_Location
Shanghai
Print_ISBN
0-8186-7876-3
Type
conf
DOI
10.1109/APDC.1997.574016
Filename
574016
Link To Document