| Using location types to control interferences in mobile resources |
| |
| 作者姓名： | 傅城 尤晋元 |
| |
| 作者单位： | Department of Computer Science and Engineering，Shanghai Jiaotong University，Shanghai 200030，China，Department of Computer Science and Engineering，Shanghai Jiaotong University，Shanghai 200030，China |
| |
| 基金项目： | 国家自然科学基金，上海市科技发展基金 |
| |
| 摘 要： | MOTIVATION The calculus of Mobile Ambients (MA) (Cardelli and Gordon, 1998) was proposed to model the mobile computation based upon the notion of ambient, a bounded location where computation takes place. It can also perform movements and carry mul-tiple processes and nested ambients within it: Primi-tive “in” and “out” allows the ambient to cross the computation boundary, and primitive “open” allows the boundary to dissolve and then to unleash the in-ternal processes. Later on, s…
|
| 关 键 词： | 运动环境 系统类型 冲突控制 计算机网络 网络图 |
Using location types to control interferences in mobile resources |
| |
| Fu Cheng,You Jin-yuan.Using location types to control interferences in mobile resources[J].Journal of Zhejiang University Science,2005,6(5):414-419. |
| |
| Authors: | Fu Cheng You Jin-yuan |
| |
| Institution: | (1) Department of Computer Science and Engineering, Shanghai Jiaotong University, 200030 Shanghai, China |
| |
| Abstract: | This paper presents a type system, called Location System (L-S), to control the interferences in the ambient-like calculi. The L-S allows well-behaved (non-interfering) processes to run in parallel if they do not access shared location during their execution life cycle. This approach is designed for a variant of Mobile Ambient (MA), called Safe Mobile Resources (SR), but it can be also used in other ambient-like calculi which are also discussed in this paper. |
| |
| Keywords: | Concurrency Mobile Ambient Type System |
| 本文献已被 CNKI 万方数据 SpringerLink 等数据库收录！ |
