Expressing code mobility in mobile UNITY

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1301, Issue , 1997, Pages 500-518

  Picco, Gian Pietro ^a,b   Roman, Gruia Catalin ^b   McCann, Peter J ^b  

^a POLITECNICO DI TORINO   (Italy)

^b WASHINGTON UNIVERSITY IN ST LOUIS   (United States)

Author keywords

Code mobility; Coordination; Mobile code languages; Mobile computing; Mobile unity; Unity

Indexed keywords

LOCATION; MOBILE COMPUTING;

CODE MOBILITY; COORDINATION; MOBILE CODES; MOBILE UNITY; UNITY;

SOFTWARE ENGINEERING;

EID: 84949458581     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63531-9_33     Document Type: Conference Paper

References (12)

1. A. Black, N. Hutchinson, E. Jul, and H. Levy. Fine-Grained Mobility in the Emerald System. ACM Transactions on Computer Systems, 6(1), February 1988.
2. th International Conference on Software Engineering, 1997.
3. K.M. Chandy and J. Misra. Distributed Simulation: A Case Study in Design and Verification of Distributed Programs. IEEE Transaction on Software Engineering, 5(5):440-452, September 1979.
4. K.M. Chandy and J. Misra. Parallel Program Design. Addison-Wesley, 1988.
5. G. Cugola, C. Ghezzi, G.P. Picco, and G. Vigna. Analyzing Mobile Code Languages. pages 93-111. In [12]
6. J.W. Stamos and D.K. Gifford. Remote Evaluation. ACM Transactions on Programming Languages and Systems, 12(4):537-565, October 1990.
7. P.J. McCann and G.-C. Roman. Mobile UNITY: A Language and Logic for Concurrent Mobile Systems. Technical Report WUCS-97-01, Dept, of Computer Science, Washington University, St. Louis, 1996.
8. nd Intl. Conf. on Coordination Models and Languages, Berlin, September 1-3, 1997.
9. Object Management Group. CORBA: Architecture and Specification, August 1995.
10. G.-C. Roman, P.J. McCann, and J.Y. Plun. Mobile UNITY: Reasoning and Specification in Mobile Computing. Technical Report WUCS-96-08, Dept, of Computer Science, Washington University, St. Louis, 1996. To appear in ACM Transactions on Software Engineering and Methodology.
11. K. Rothermel and R. Popescu-Zeletin, editors. Mobile Agents, volume 1219 of Lecture Notes on Computer Science. Springer-Verlag, 1997.
12. J. Vitek and C. Tschudin, editors. Mobile Object Systems: Towards the Programmable Internet, volume 1222 of Lecture Notes on Computer Science. SpringerVerlag, 1997.