DocumentCode
3022267
Title
Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice
Author
Zining Cao
Author_Institution
Dept. of Comput. Sci. & Technol., Nanjing Univ. of Aeronaut. & Astronaut., Nanjing, China
fYear
2013
fDate
1-3 July 2013
Firstpage
217
Lastpage
224
Abstract
In this paper, we present a normal bisimulation for higher order π-calculus with unguarded choice and prove the coincidence between such normal bisimulation and context bisimulation for higher order π-calculus with unguarded choice. To achieve this aim, we introduce indexed higher order π-calculus with unguarded choice. Furthermore we present corresponding indexed bisimulations in this calculus, and prove the equivalence between indexed context bisimulation and indexed normal bisimulation. As an application of this result, we prove the equivalence between context bisimulation and normal bisimulation for higher order p-calculus with unguarded choice.
Keywords
bisimulation equivalence; pi calculus; higher order π-calculus; indexed context bisimulation; indexed normal bisimulation; Aircraft; Aircraft propulsion; Calculus; Context; Indexes; Semantics; Syntactics; process calculus; higher order p-calculus; bisimulation;
fLanguage
English
Publisher
ieee
Conference_Titel
Theoretical Aspects of Software Engineering (TASE), 2013 International Symposium on
Conference_Location
Birmingham
Type
conf
DOI
10.1109/TASE.2013.36
Filename
6597901
Link To Document