We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Fair ambients.
- Authors
Fu, Yuxi
- Abstract
Based on an analysis of the capability operators of the Calculus of Mobile Ambients, three fairness principles are proposed to safeguard the interactions of the ambients. The Calculus of Fair Ambient is designed to meet these fairness principles. A labeled transition semantics for the calculus is defined to support structural investigation. The bisimulation theory of the fair ambients is studied and two coincidence results are established. An expressiveness result of the calculus is formally established by proving that it contains the pi calculus as a sub-calculus.
- Subjects
COMPUTER algorithms; RULE-based programming; MATHEMATICAL analysis; MATHEMATICAL functions; CALCULUS
- Publication
Acta Informatica, 2007, Vol 43, Issue 8, p535
- ISSN
0001-5903
- Publication type
Article
- DOI
10.1007/s00236-007-0038-z