Using location types to control interferences in mobile resources.

Autor: Cheng, Fu, Jin-yuan, You
Zdroj: Journal of Zhejiang University: Science A; May2005, Vol. 6 Issue 5, p414-419, 6p
Abstrakt: 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. [ABSTRACT FROM AUTHOR]
Databáze: Complementary Index
Externí odkaz: