Aliasing models for mobile objects

Information and Computation

Volumn 175, Issue 1, 2002, Pages 3-33

  Nestmann, Uwe ^a   Hüttel, Hans ^a   Kleist, Josva ^a   Merro, Massimo ^b  

^a AALBORG UNIVERSITY   (Denmark)

^b INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; DIFFERENTIATION (CALCULUS); MATHEMATICAL MODELS; SEMANTICS;

MOBILE AGENTS;

OBJECT ORIENTED PROGRAMMING;

EID: 0037172652     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.2001.3104     Document Type: Article

References (25)

1. Abadi, M., and Cardelli, L. (1996), "A Theory of Objects," Monographs in Computer Science, Springer-Verlag, Berlin.
2. Boreale, M., Fournet, C., and Laneve, C., Bisimulations for the join-calculus, in "Programming Concepts and Methods (PRO-COMET'98)" (D. Gries and W.-P. de Roever, Eds.), International Federation for Information Processing (IFIP), Chapman & Hall, London.
3. Cardelli, L. (1994), obliq-std.exe-Binaries for windows nt, available at http://www.luca.demon.co.uk/Obliq.html.
4. Cardelli, L. (1994), A language with distributed scope, Comput. Systems 8, 27-59. Short version in "Proceedings of POPL '95." A preliminary version appeared as Report 122, Digital Systems Research.
5. Di Blasio, P., and Fisher, K. (1996), A concurrent object calculus, in "Proceedings of CONCUR '96" (U. Montanari and V. Sassone, Eds.), Lecture Notes in Computer Science, Vol. 1119, pp. 655-670, Springer-Verlag, Berlin. An extended version appeared as Technical Note STAN-CS-TN-96-36, Stanford University.
6. Felleisen, M., and Friedman, D. P. (1986), Control operators, the SECD-machine, and the λ-calculus, in "Formal Description of Programming Concepts III" (M. Wirsing, Ed.), p. 193-217, North-Holland, Amsterdam.
7. Gordon, A. D., and Hankin, P. D. (1998), A concurrent object calculus: Reduction and typing, in "Proceedings of HLCL '98" (U. Nestmann and B. C. Pierce, Eds.), Electronic Notes in Theoretical Computer Science, Vol. 16.3, Elsevier Science, Amsterdam.
8. Gordon, A. D., Hankin, P. D., and Lassen, S. B. (1997), Compilation and equivalence of imperative objects, in "Proceedings of FSTTCS '97" (S. Ramesh and G. Sivakumar, Eds.), Lecture Notes in Computer Science, Vol. 1346, pp. 74-87, Springer-Verlag, Berlin. Full version available as Technical Report 429, Computer Laboratory, University of Cambridge.
9. Gries, D., and de Roever, W.-P. (Eds.) (1998), "Programming Concepts and Methods (PROCOMET '98)," International Federation for Information Processing (IFIP), Chapman & Hall, London.
10. Hüttel, H., Kleist, J., Merro, M., and Nestmann, U. (1999), Migration = cloning; aliasing (preliminary version), in "Informal Proceedings of the Sixth International Workshop on Foundations of Object-Oriented Languages (FOOL 6), San Antonio, TX, USA." Sponsored by ACM/SIGPLAN.
11. Jul, E., Levy, H., Hutchinson, N., and Black, A. (1988), Fine-grained mobility in the Emerald system, ACM Trans. Comput. Systems 1 (6), 109-133.
12. Kleist, J., and Sangiorgi, D. (1998), Imperative objects and mobile processes, in "Programming Concepts and Methods (PROCOMET '98)," International Federation for Information Processing (IFIP), pp. 285-303, Chapman & Hall, London.
13. Laneve, C. (1996), "May and Must Testing in the Join-Calculus," Technical Report UBLCS-96-4, DoCS, University of Bologna, Revised: May 1996.
14. Merro, M., Kleist, J., and Nestmann, U. (2000), Local π-calculus at work: Mobile objects as mobile processes, available in "Proceedings of Theoretical Computer Science (TCS 2000)" Lecture Notes in Computer Science, Vol. 1872, pp. 390-408. [Inform. and Comput., in press.]
15. Milner, R., Parrow, J., and Walker, D. (1992), A calculus of mobile processes, I/II, Inform. and Comput. 100, 1-77.
16. Moggi, E. (1989), Computational lambda calculus and monads, in "Fourth Annual Symposium on Logic in Computer Science, LICS, Asilomar, CA," pp. 14-23, IEEE Computer Society Press, Los Alamitos, CA.
17. Morris, J.-H. (1968), "Lambda Calculus Models of Programming Languages," Ph.D. thesis, MIT, Cambridge, MA.
18. Nestmann, U. (1999), Mobile objects (a project overview), in "Proceedings of FBT '99: Formale Beschreibungstechniken für verteilte Systeme, München, 1999" (K. Spies and B. Schätz, Eds.), pp. 155-164, Herbert Utz Verlag, Wissenchaft.
19. Nestmann, U., Hüttel, H., Kleist, J., and Merro, M. (1999), Aliasing models for object migration, in "Proceedings of EUROPAR '99," Lecture Notes in Computer Science, Vol. 1685, Springer-Verlag, Berlin.
20. Nielsen, C. L., Outzen, L., Ilsøe, P. M., Pedersen, S. H., Thomadsen, T., and Lange, T. (1999), "Øjeblink," Term Project Report, Aalborg University, available at http://www.cs.auc.dk/research/FS/ojeblik/.
21. Reppy, J. (1992), "Higher-Order Concurrency," Ph.D. thesis, Cornell University. Technical Report TR 92-1285.
22. Sekiguchi, T., and Yonezawa, A. (1997), A calculus with code mobility, in "Prodeedings of FMOODS'97, Canterbury, July," IFIP, Chapman & Hall, London.
23. Talcott, C. L. (unpublished), Obliq semantics notes, available at clt@cs.stanford.edu.
24. Roy, P. V., Haridi, S., Brand, P., Smolka, G., Mehl, M., and Scheidhauer, R. (1997), Mobile objects in distributed oz, ACM Trans. Programming Languages Systems 19, 804-851.
25. Vitek, J. (1999), Mobile object systems, available at http://cuiwww.unige.ch/̃ecoopws/.