Using location types to control interferences in mobile resources

来源 :浙江大学学报A(英文版) | 被引量 : 0次 | 上传用户:bitgxd
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
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.
其他文献
The bioleaching of a marmatite flotation concentrate with a moderately thermoacidophilic iron-oxidizing bacterial strain (MLY) is influenced significantly by te
An extensive investigation was made on the effects of micro-alloying with small amounts of Sc and Mn on the microstructure and mechanical properties of the Al-M
Maximum solid solubility (Cmax) of different transition metals in metal solvent can be described by a semi-empirical equation using function Zf that contains el
The calculations of total energy, band structure, and electronic density of states and Mulliken population analysis of β-LaNi5 Hx (5≤x≤8) were performed by a
The effect of small addition of Sc on the microstructural evolution in Al-15Ag alloy was investigated by Monte Carlo simulation and transmission electron micros
A model to calculate the thermodynamic functions of the pure metal nanocrystals has been developed, with the consideration of the effects of both the interfaces
In this paper, the authors present a novel mutual authentication and key agreement protocol based on the Number Theory Research Unit (NTRU) public key cryptogra
An in-situ TiCP/Al composite was prepared by a thermal explosion/quick pressure method (TE/QP). The effect of Al content on the reaction temperature as well as
A new iris feature extraction approach using both spatial and frequency domain is presented. Steerable pyramid is adopted to get the orientation information on
A comprehensive stochastic model for simulating microstructure formation of Ti-45 % Al(mole fraction)alloy ingot during solidification process was developed, ba