DocumentCode
496141
Title
Branching Bisimulations for Higher Order p-Calculus
Author
Cao, Zining
Author_Institution
Provincial Key Lab. for Comput. Inf. Process. Technol., Soochow Univ., Suzhou, China
Volume
1
fYear
2009
fDate
25-26 July 2009
Firstpage
522
Lastpage
525
Abstract
In this paper, we introduce branching context bisimulation, branching normal bisimulation and branching barbed congruence for higher order pi-calculus. Moreover we prove the equivalence of the three branching bisimulations. At last, we compare branching context bisimulations with other bisimulations for higher order pi-calculus.
Keywords
calculus; process algebra; branching barbed congruence; branching context bisimulation; branching normal bisimulation; higher order pi-calculus; Calculus; Computer science; Concurrent computing; Context; Information processing; Information technology; Laboratories; branching barbed congruence; branching context bisimulation; branching normal bisimulation; higher order p-calculus;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Technology and Computer Science, 2009. ITCS 2009. International Conference on
Conference_Location
Kiev
Print_ISBN
978-0-7695-3688-0
Type
conf
DOI
10.1109/ITCS.2009.275
Filename
5190126
Link To Document