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.

Key words: Concurrency, Mobile Ambient, Type System

Please provide your name, email address and a comment

Your Name: Affili: E-Mail Address:

Comment (Please comment in English):


Verification Code(click to change a pic):