DocumentCode
1996824
Title
Bisimulations in the Boxed Safe Ambients with Password
Author
Hua, Jiang ; Xinxing, Tan
Author_Institution
Comput. Sci. Sch., Shaoguan Univ., Shaoguan
fYear
2009
fDate
27-29 April 2009
Firstpage
443
Lastpage
448
Abstract
The boxed safe ambients with password is an improved calculus put forward by the author. This paper studies two equivalent relations in boxed safe ambients with password - the ambient bisimulations and the process bisimulations. The ambient bisimulations studies the similarity of processes in space, while the process bisimulations studies not only the similarity of processes in space but also the similarity of processes in action.
Keywords
authorisation; bisimulation equivalence; pi calculus; ambient bisimulation; boxed safe ambient; process bisimulation; process calculus; Calculus; Communication system control; Computational modeling; Computer networks; Computer science; Genetic mutations; IP networks; Information technology; Mobile computing; Wide area networks; computational model; mobile ambient calculus; model checking; p-calculus; process calculus;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Technology: New Generations, 2009. ITNG '09. Sixth International Conference on
Conference_Location
Las Vegas, NV
Print_ISBN
978-1-4244-3770-2
Electronic_ISBN
978-0-7695-3596-8
Type
conf
DOI
10.1109/ITNG.2009.47
Filename
5070658
Link To Document