Author: Fu, Yuxi
Source: Acta Informatica, Volume 43, Number 8, March 2007 , pp. 535-594(60)
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.
Document Type: Research Article
Affiliations: Email: email@example.com
Publication date: March 2007