Title :
Branching Bisimulations for Higher Order p-Calculus
Author_Institution :
Provincial Key Lab. for Comput. Inf. Process. Technol., Soochow Univ., Suzhou, China
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;
Conference_Titel :
Information Technology and Computer Science, 2009. ITCS 2009. International Conference on
Conference_Location :
Kiev
Print_ISBN :
978-0-7695-3688-0
DOI :
10.1109/ITCS.2009.275
