DocumentCode
2676638
Title
An Abstract Interpretation Frame of the Calculus of Boxed Ambients Based on the Ambient Occurrence Counting
Author
Hong, Zhang ; Lei, Liu
Author_Institution
Coll. of Comput. Sci. & Technol., Jilin Univ., Changchun
fYear
2008
fDate
3-5 Aug. 2008
Firstpage
623
Lastpage
626
Abstract
In order to statically validate the interesting and desired properties of concurrent and distributed system, an abstract interpretation frame based on the ambient occurrence counting for the calculus of boxed ambients, a variant of the calculus of mobile ambients, is developed. The analysis computes a safe approximation of the set of all processes to whom the given system can evolve. The frame is showed to be semantically correct: the set of acceptable solutions is closed under reduction, and it constitutes a Moore family.
Keywords
mobile computing; process algebra; Moore family; abstract interpretation frame; ambient occurrence counting; boxed ambients; distributed system; mobile ambients; Calculus; Computational modeling; Computer science; Concrete; Educational institutions; Electronic commerce; Hydrogen; Mobile computing; Software systems; Tin; Boxed Ambients; abstract interpretation; the ambient occurrence counting;
fLanguage
English
Publisher
ieee
Conference_Titel
Electronic Commerce and Security, 2008 International Symposium on
Conference_Location
Guangzhou City
Print_ISBN
978-0-7695-3258-5
Type
conf
DOI
10.1109/ISECS.2008.210
Filename
4606141
Link To Document