Full Text:   <1315>

CLC number: TP393

On-line Access: 

Received: 2004-01-20

Revision Accepted: 2004-03-30

Crosschecked: 0000-00-00

Cited: 0

Clicked: 3998

Citations:  Bibtex RefMan EndNote GB/T7714

-   Go to

Article info.
1. Reference List
Open peer comments

Journal of Zhejiang University SCIENCE A 2005 Vol.6 No.5 P.414~419

http://doi.org/10.1631/jzus.2005.A0414


Using location types to control interferences in mobile resources


Author(s):  FU Cheng, YOU Jin-yuan

Affiliation(s):  Department of Computer Science and Engineering, Shanghai Jiaotong University, Shanghai 200030, China

Corresponding email(s):   fucheng@cs.sjtu.edu.cn, you-jy@cs.sjtu.edu.cn

Key Words:  Concurrency, Mobile Ambient, Type System


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.

Darkslateblue:Affiliate; Royal Blue:Author; Turquoise:Article

Reference

[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>

Please provide your name, email address and a comment





Journal of Zhejiang University-SCIENCE, 38 Zheda Road, Hangzhou 310027, China
Tel: +86-571-87952783; E-mail: cjzhang@zju.edu.cn
Copyright © 2000 - Journal of Zhejiang University-SCIENCE