On the Relative Expressive Power of Ambient-Based Calculi
- 167 Downloads
Nowadays, some of the most successful models for global computers are defined as ambient-based calculi; among them, the mainstream models are Mobile, Safe and Boxed Ambients. In this paper, we comparatively analyze them and most of their variants by comparing every variant against the language it comes from. In particular, we discuss and compare: objective moves in Mobile Ambients; passwords and a different semantics for the out primitive in Safe Ambients; different communication and mobility primitives in Boxed Ambients. By establishing the possibility/impossibility of encoding one language in another one, we relate the three main models and, for each of their variant, we discover whether it enhances the original language or actually yields a different formalism.
KeywordsTarget Language Objective Move Expressive Power Parallel Composition Leader Election
Unable to display preview. Download preview PDF.
- 6.Gorla, D.: Comparing calculi for mobility via their relative expressive power. Tech. Rep. 09/2006, Dip. di Informatica, Università di Roma La SapienzaGoogle Scholar
- 15.Phillips, I., Vigliotti, M.: On reduction semantics for the push and pull ambient calculus. In: IFIP Conf. on Theoretical Comp. Sci., pp. 550–562. Kluwer, Dordrecht (2002)Google Scholar