Title :
Bisimulations in the Boxed Safe Ambients with Password
Author :
Hua, Jiang ; Xinxing, Tan
Author_Institution :
Comput. Sci. Sch., Shaoguan Univ., Shaoguan
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;
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
DOI :
10.1109/ITNG.2009.47
