CLC number: TP393
On-line Access:
Received: 2004-01-20
Revision Accepted: 2004-03-30
Crosschecked: 0000-00-00
Cited: 0
Clicked: 6471
FU Cheng, YOU Jin-yuan. Using location types to control interferences in mobile resources[J]. Journal of Zhejiang University Science A, 2005, 6(5): 414-419.
@article{title="Using location types to control interferences in mobile resources",
author="FU Cheng, YOU Jin-yuan",
journal="Journal of Zhejiang University Science A",
volume="6",
number="5",
pages="414-419",
year="2005",
publisher="Zhejiang University Press & Springer",
doi="10.1631/jzus.2005.A0414"
}
%0 Journal Article
%T Using location types to control interferences in mobile resources
%A FU Cheng
%A YOU Jin-yuan
%J Journal of Zhejiang University SCIENCE A
%V 6
%N 5
%P 414-419
%@ 1673-565X
%D 2005
%I Zhejiang University Press & Springer
%DOI 10.1631/jzus.2005.A0414
TY - JOUR
T1 - Using location types to control interferences in mobile resources
A1 - FU Cheng
A1 - YOU Jin-yuan
J0 - Journal of Zhejiang University Science A
VL - 6
IS - 5
SP - 414
EP - 419
%@ 1673-565X
Y1 - 2005
PB - Zhejiang University Press & Springer
ER -
DOI - 10.1631/jzus.2005.A0414
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.
[1] Bugliesi, M., Castagna, G., Crafa, S., 2001. Boxed Ambients. Proc. TACS 2001, Lecture Notes in Computer Science, Springer, 2215:38-63.
[2] Cardelli, L., Gordon, A.D., 1998. Mobile Ambients. In: Nivat, M. (Ed.), Proc. FoSSaCS’98, Lecture Notes in Computer Science, Springer, 1378:140-155.
[3] Cardelli, L., Ghelli, G., Gordon, A.D., 1999. Mobility Types for Mobile Ambients. Technical Report MSR-TR-99-32, Microsoft Research.
[4] Cardelli, L., Ghelli, G., Gordon, A.D., 2000. Ambient Groups and Mobility Types. IFIP TCS, p.333-347.
[5] Fu, C., You, J.Y., 2003. Application Modeling Based on Typed Resources. Proc. GCC 2003, Lecture Notes in Computer Science, Springer, 3033:628-635.
[6] Godskesen, J.C., Hildebrandt, T., Sassone, V., 2002. A Calculus of Mobile Resources. Proc. CONCUR’02, Lecture Notes in Computer Science, Springer, 2412:272-287.
[7] Guan, X.D., Yang, Y.L., You, J.Y., 2000. Making Ambients more Robust. Proc. ICS 2000, PHEI Press, p.377-384.
[8] Guan, X.D., Yang, Y.L., You, J.Y., 2001. Typing evolving ambients. Information Processing Letters, 80(5):265-270.
[9] Levi, F., Sangiorgi, D., 2000. Controlling Interference in Ambients. Short Version Appeared in Proc. 27th POPL, ACM Press.
[10] Merro, M., Hennessy, M., 2002. Bisimulation Congruences in Safe Ambients. Proc. POPL’02, ACM Press, p.71-80.
Open peer comments: Debate/Discuss/Question/Opinion
<1>