An Ada95 implementation of a network Coordination language with code mobility

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

Volumn 1622, Issue , 1999, Pages 199-210

  Tuosto, Emilio ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

Ada and other languages; Ada experience reports; Ada language and tools; Case studies and experiments; Distributed systems

Indexed keywords

CODES (SYMBOLS); COMPUTATIONAL LINGUISTICS;

CASE-STUDIES; CODE MOBILITY; DISTRIBUTED PROGRAMMING; DISTRIBUTED SYSTEMS; EXPERIENCE REPORT; KERNEL LANGUAGES; NETWORK COORDINATIONS; NETWORK TRAFFIC;

ADA (PROGRAMMING LANGUAGE);

EID: 35248864740     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48753-0_18     Document Type: Conference Paper

References (20)

1. International Standard ISO/IEC 8652:1995(E). Annotated Ada Reference Manual: Language and Standard Libraries. Intermetrics, Inc., 1994.
2. L. Bettini, R. De Nicola, G. Ferrari, R. Pugliese. Interactive Mobile Agents in XKlaim Proceedings of WETICE’98, IEEE, 1998. (To appear)
3. L. Cardelli. Obliq: A language with distributed scope. SRC Research Report 122, Digital Equipment Corporation Systems Research Center, June 3, 1994.
4. L. Cardelli. A Language with Distributed Scope. Computing Systems, 8(1):27-59, MIT Press, 1995.
5. L. Cardelli. Global Computation. ACM Computing Surveys, Vol. 28, Number 4es, pp. 163-163, December 1996.
6. N. Carriero, D. Gelernter. Linda in Context. Communications of the ACM, 32(4):444-458, April 1989.
7. L. Cardelli, A. D. Gordon. Mobile Ambients. FoSSaCS, LNCS 1378, pag. 140-155, 1998
8. R. De Nicola, G. Ferrari, R. Pugliese. Locality based Linda: programming with explicit localities. FASE-TAPSOFT’97, Proceedings (M. Bidoit, M. Dauchet Eds.), LNCS 1214, pp. 712-726, Springer, 1997.
9. R. De Nicola, G. Ferrari, R. Pugliese. Coordinating Mobile Agents via Blackboards and Access Rights. COORDINATION’97, Proceedings (D. Garlan, D. Le Metayer, Eds.), LNCS 1282, pp. 220-237, Springer, 1997.
10. R. De Nicola, G. Ferrari, R. Pugliese. Klaim: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24(5), pp. 315-330, 1998.(Available at the URL http://www.di.unipi.it/~giangi/papers).
11. A. Giacalone, P. Mishra, S. Prasad. Facile: A Symmetric Integration of Concurrent and Functional Programming. Internation Journal of Parallel Programming, 18(2), 1989.
12. C. Ghezzi, G. Vigna. Mobile Code Paradigms and Technologies: A Case Study. Proceedings of the First International Workshop on Mobile Agents (MA97), Berlin, Germany, April 1997.
13. C.A.R. Hoare. Communicating Sequential Process. Prentice Hall Int., 1985.
14. R. Milner, J. Parrow, D. Walker. A Calculus of Mobile Processes, (part I and II), Information and Computation, 100:1-77, 1992.
15. Object Management Group. CORBA: Architecture and Specification, August 1995.
16. B. C. Pierce, David N. Turner. Pict: A Programming Language based on the Pi-Calculus Technical Report, Computer Science Department, Indiana University, Number CSCI 476, March 1997.
17. B. Thomsen, L. Leth, A. Giacalone. Some Issues in the Semantic of Facile Distributer Programming. REX Workshop “Semantics: Foundations and Applications” (J. W. de Bakker, W-P. de Roever, G. Rezenberg), LNCS 666, pp. 563-593, Springer, 1992.
18. E. Tuosto. Semantica e Pragmatica di un Linguaggio di Coordinamento di Attivita su reti. Master Thesis in Computer Science, University of Pisa, Italy. 1998.
19. G. Vigna. Mobile Code Technologies, Paradigms, and Applications. Ph.D. Thesis, Politecnico di Milano, 1998.
20. J. E. White. Telescript Technology: Foundation for the Electronic Market Place. General Magic White Paper, 1994.