Affiliation:
1. University of Genova, Genova, Italy
2. University of Bologna, Bologna, Italy
Abstract
Two forms of interferences are individuated in Cardelli and Gordon's
Mobile Ambients
(MA):
plain interferences
, which are similar to the interferences one finds in CCS and π-calculus; and
grave interferences
, which are more dangerous and may be regarded as programming errors. To control interferences, the MA movement primitives are modified; the resulting calculus is called
Mobile Safe Ambients
(SA).The modification also has computational significance. In the MA interaction rules, an ambient may enter, exit, or open another ambient. The second ambient undergoes the action; it has no control on
when
the action takes place. In SA this is rectified: any movement takes place only if both participants agree.Existing type systems for MA can be easily adapted to SA. The type systems for controlling mobility, however, appear to be more powerful in SA, in that (i) type systems for MA may give more precise information when transplanted onto SA , and (ii) new type systems may be defined. Two type systems are presented that remove all grave interferences.Other advantages of SA are: a useful algebraic theory; programs sometimes more robust (they require milder conditions for correctness) and/or simpler. All these points are illustrated in several examples.
Publisher
Association for Computing Machinery (ACM)
Reference31 articles.
1. Subtyping recursive types
2. Secure safe ambients
3. Cardelli L. 1996. Type Systems Handbook of Computer Science and Engineering. CRC Press.]] Cardelli L. 1996. Type Systems Handbook of Computer Science and Engineering. CRC Press.]]
Cited by
78 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The synchronized ambient calculus;Theoretical Computer Science;2024-05
2. Scheduling in Real-Time Mobile Systems;ACM Transactions on Embedded Computing Systems;2022-05-28
3. Distributability of mobile ambients;Information and Computation;2020-12
4. Mobile Membranes;IEEE Access;2020
5. Isolation Modeling and Analysis Based on Mobility;ACM Transactions on Software Engineering and Methodology;2019-04-09