A theory of distributed objects: Asynchrony-mobility-groups-components

A Theory of Distributed Objects: Asynchrony-Mobility-Groups-Components

Volumn , Issue , 2005, Pages 1-346

  Caromel, Denis ^a   Henrio, Ludovic ^b  

^a UNIVERSITÉ CÔTE D'AZUR   (France)

^b UNIVERSITY OF WESTMINSTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84885815356     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/b138812     Document Type: Book

References (166)

1. Martín Abadi and Ltica Cardelli. An imperative object calculus. In P. D. Mosses, M. Xielsen. and M. I. Schwartzbach. editors. TAPSOFT '95: Theory and Practice of Software Development, volume 915 of LXOS, pages 471-485. Springer-Ve lag. Berlin. Heidelberg. 1995.
2. Martín Abadi and Luca Cardelli. An imperative object calculus: Basic typing and soundness. In SIPL '95-Proceedings of the Second ACM SIGPLAN Workshop on State in Programming Languages. Technical Report UIUCDCS-R-95-I900. Department of Computer Science. University of Illinois at Urbana-Champaign, 1995.
3. Martín Abadi and Luca Cardelli. A Theory of Objects. Springer-Verlag, Xew York. 1996
4. A Theory of Objects web page. Available at http://www.luca.demon.co.uk/ TheoryOfObjects.html, and related courses at http://www.luca.demon.co. uk/TheoryOfObjects/RelatedCourses.html.
5. Anurag Acharya. M. Ranganathaii, and Joel Saltz. Sumatra: A language for resource-aware mobile programs. In J. Vitek and C. Tschudin, editors, Mobile Object Systems: Towards the Programmable Internet, volume 1222. pages 111-130. Springer-Verlag. Berlin. Heidelberg. 1997. (Pubitemid 127053461)
6. ACM SIGACT-SIGPLAX. Conference Record of the 22nd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'95), San Francisco. January 22-25. 1995. ACM Press. New York.
7. ACM SIGACT-SIGPLAX. Conference Record of the 23rd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'96). St. Petersburg, Florida, January 21-24, 1996. ACM Press
8. Actor foundry. Available at http://osl.cs.uiuc.edu/foundry/.
9. Gul Agha. An overview of actor languages. ACM SIGPLAN Notices. 21(10):58-67. 1986.
10. Gul Agha, Ian A. Mason. Scott F. Smith, and Carolyn L. Talcott. Towards a theory of actor computation (extended abstract). In W. R. Cleaveland. editor, CONCUR'92: Proceedings of the Third International Conference on Concurrency Theory, pages 565-579. Springer-Verlag, Berlin. Heidelberg, 1992.
11. Gul Agha, Ian A. Mason. Scott F. Smith, and Carolyn L. Talcott. A foundation for actor computation. Journal of Functional Programming. 7(1):1-72, 1997.
12. Gtil Agha and Prasanna Thati. An algebraic theory of actors and its application to a simple object-based language. In Essays in Memory of Ole-Johan Dahl, volume 2635, pages 26-57, 2004.
13. Paulo Sergio Almeida. Balloon types: Controlling sharing of state in data types. In Mehmet Aksit and Satoshi Matsuoka, editors. EOOOP'97-Object-Oriented Programming 11th European Conference. Jyvskyl. Finland, volume 1241, pages 32-59. Springer-Vcrlag, Xcw York. 1997.
14. Pierre America. Issues in the design of a parallel object-oriented language. Formal Aspects of Computing. 1(4):366-411. 1989.
15. Pierre America. Formal techniques for parallel object-oriented languages. In Jos C. M. Bactcn and Jan Friso Crootc. editors, CONCUR'91. '2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings, volume 527 of FXCS, pages 1-17. Springer-Verlag, Berlin. Heidelberg, 1991
16. G. Gregory R. Andrews. Concurrent programming: principles and practice. Benjamin-Cummings Publishing Co., Inc., 1991.
17. Arvind, Rishiyur S. Xikhil. and Keshav K. Pingali. I-structures: Data structures for parallel computing. ACM Transactions on Programming Langan-guages and Systems, 11(4):598-632, 1989.
18. Isabelle Attali, Denis Caromel. and Arnaud Contes. Hierarchical and declarative security for grid applications. In International Conference on High Performance Computing, HIPC, Hyderabad. India, December 17-20, FXCS, pages 3G3-372, Springer-Verlag, Berlin, Heidelberg, 2003.
19. Isabelle Attali, Denis Caromel. and Romain Guicler. A step toward automatic distribution of Java programs. In S. F. Smith and C. F. Talcott, editors, 5th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, pages 141-161. Kluwer Academic Publishers, Dordrecht. 2000.
20. Isabelle Attali, Denis Caromel. and Fabrice Huet. Procédé de localisation d'objets mobiles communicants an sein d'un réseau de communications, par transmission d'identinants de localisation par des répéteurs et mise à, jour de serveur, 2003. Patent. Brevet depose le 23 juillet 2003, Xo FR 03 08990. copropriété IXRIA-Université de Xice-Sophia Antipolis, a 1'IXPI.
21. Faurcnt Baducl. Françoise Baudc. and Denis Caromel. Efficient, flexible, and typed group communications in Java. In Joint ACM Java Grande-ISC OPE 2002 Conference, pages 28-36, Seattle, 2002. ACM Press, Xew York.
22. Hcnk P. Barcndrcgt. The Lambda Calculus. Its Syntax and Semantics, volume 103 of Studies in Logics and the Foundations of Mathematics. North-Holland. Amsterdam, 1981.
23. Françoisc Baudc. Denis Caromel. Christian Dclbé and Fudovic Hcnrio. A fault tolerance protocol for ASP calculus: Design and proof. Research Report, IXRIA Sophia-Antipolis, June 2004. RR-5246.
24. Francoise Baude, Denis Caromel, Fabrice Huet, and Julien Vayssiere. Communicating mobile active objects in Java. In Proceedings of IIPCN Europe 2000, volume 1823 of FXCS, pages 633-643. Springer-Verlag, Berlin, Heidelberg, May 2000.
25. Francoise Baude, Denis Caromel, Fionel Mestre, Fabrice Iluet, and Julien Vayssiere. Interactive and descriptor-based deployment of object-oriented grid applications. In Proceedings of the 11th IEEE International Symposium on High Performance Distributed Computing, pages 93-102. Edinburgh, Scotland, July 2002. IEEE Computer Society.
26. Françoise Baude, Denis Oaromel, and Matthieu Morel. From distributed objects to hierarchical grid components. In International Symposium on Distributed Objects and Applications (DOA), Catania, Sicily, Italy, 3-7 November. LXOS. Springer Verlag. Berlin, Heidelberg, 2003.
27. Joachim Baumann. Fritz Hohl. and Kurt Rothcrmcl. Mole-concepts of a mobile agent system. Technical Report TR-1997-15, 1997.
28. Xick Benton, Luca Oardelli, and Oedric Fournet. Modern concurrency abstractions for C#. In Proceedings of the 16th European Conference on Object-Oriented Programming, pages 415-440. Springer-Verlag, Berlin. Heidelberg, 2002.
29. Gérard Berry. Real time programming: Special purpose or general purpose languages. In G. X. Ritter, editor, Information Processing 89. Elsevier Science, Amsterdam. 1989.
30. Gérard Berry and Georges Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming. 19(2):87-152. 1992. (Pubitemid 23582985)
31. Philippe Bidingcr and Jean-Bernard Stcfani. The kcll calculus: operational semantics and type system. In Proceedings 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS 03). Paris. France, Novcmbcr 2003.
32. Andrew Birrell, Greg Xelson. Susan Owicki, and Edward Wobber. Xetwork objects. Soft-ware-Practice and Experience, 25(S4):87-130. 1995.
33. R. Blumofc, C. Jocrg. B. Kuszmaul, C. Lciscrson, K. Randall, and Y. Zhou, Silk: An efficient multithreaded runtime system. In Proceedings of the 5th Symposium on Principles and Practice of Parallel Programming. 1995.
34. Phillip Bogle and Barbara Liskov. Reducing cross-domain call overhead using batched futures. In Proceedings of OOPSLA '9. pages 341-359. ACM Press. Xew York, 1994.
35. Gérard Boudol. Asynchrony and the π-calculus (note). Rapport de Recherche 1702, IXRIA Sophia-Antipolis, May 1992.
36. Gérard Boudol. The recursive record semantics of objects revisited. In Proceedings of the 10th European Symposium on Programming languages and Systems. pages 269-283. Springer-Verlag, Berlin, Heidelberg, 2001. (Pubitemid 33256364)
37. Rabéa, Boulifa and Eric Madelaine. Proof of behaviour properties for proactive programs. Technical Report RR.-4460. IXRIA. France, 2002. Available at ftp://ftp-sop.inria.fr/pub/rapports/RR-44G0.ps.gz.
38. Rabéa Boulifa and Eric Madelaine. Model generation for distributed Java programs. In X. Guclfi, E. Astcsiano. and G. Reggie editors. Workshop on scientiFic engineering of Distributed Java applications, volume 2652 of LXOS. Luxembourg, november 2003. Springer-Verlag, Berlin, Heidelberg
39. Jonathan Bowen's web page on Concurrent Systems. London South Bank University. Centre for Applied Formal Methods. Available at http://www.jpbowen. com/
40. http://vl.fmnet.info/concurrent/.
41. Ohandrasekhar Boyapati, Robert Lee, and Martín Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Xovember 2002.
42. Sébastien Briais and Iwe Xestmaim. Mobile objects 'must' move safely. In Formal Methods for Open Object-Based Distributed Systems IV-Proceedings of FMOODS'2002. University of Twente, the Netherlands. Kluwer Academic Publishers, 2002.
43. Kim B. Bruce, Angela Schuett, and Robert van Gent. PolvTOIL: A type-safe polymorphic object-oriented language. In Walter G. Olthoff, editor, Proceedings of ECOOP'95, volume 952 of LXCS, pages 27-51. Springer-Vcrlag, Berlin, Heidelberg', 1995.
44. Roberto Brum, Lose Meseguer, and Ugo Montanari. Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. Mathematical Structures in Computer Science. 12(1):53-90, 2002.
45. A. P. W. Bhm, David O. Gaim, R. R. Oldehoeft. and John T. Feo. SISAL reference manual language version 2.0. OS 91-118, Colorado State University. Fort Collins, Colorado, 1991.
46. Luca Oardelli. A language with distributed scope. In Conference Record of the 22nd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'95) [6], pages 286-297.
47. Luca Oardelli and Andrew D. Gordon. Types for mobile ambients. In Proceedings of POPL '99. pages 79-92. ACM Press. Xcw York. 1999.
48. Luca Oardelli and Andrew D. Gordon. Mobile ambients. Theoretical Computer-Science, 240(1):177-213, 2000. An extended abstract appeared in Proceedings of FoSSaCS '98, pages 140-155.
49. Denis Oaromel. Programming abstractions for concurrent programming. In Technology of Object-Oriented Languages and Systems. TOOLS Pacific'90, pages 245-253, 1990.
50. Denis Oaromel. Toward a method of object-oriented concurrent programming. Communications of the ACM. 36(9):90-102. September 1993.
51. Denis Oaromel, Christian Delb. Ludovic Henrio. and Remain Quilici. Patent 'Dispositif et procede asynchrones et automatiques de transmission de resultats entre objets communicants'. November 2003. 11/26/2003, Xo FR 03 138 76.
52. Denis Oaromel. Ludovic Henrio, and Bernard Serpette. Asynchronous sequential processes. Research Report, IXRIA Sophia-Antipolis, 2003. RR-4753.
53. Denis Oaromel, Ludovic Henrio, and Bernard Paul Serpette. Asynchronous and deterministic objects. In Proceedings of the 31st ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pages 123-134. ACM Press, 2004.
54. Denis Oaromel. Wilfricd Klauscr. and Julicn Vayssicrc. Towards seamless computing and metacomputing in Java. Concurrency: Practice and Experience. 10(11-13):1043-1061, 1998. ProActive available at http://www.inria.fr/oasis/ proactive.
55. Franck Cassez and Olivier Roux. Compilation of the Electre reactive language into finite transition systems. Theoretical Computer Science. 146(1-2):109-143, July 1995.
56. B. Oharron-Bost. F. Mattern, and G. Tel. Synchronous, asynchronous, and causally ordered communications. Distributed Computing. 9:173-191, September 1996. (Pubitemid 126494256)
57. David G. Clarke. James Xoble. and John Potter. Simple ownership types for object containment. In Proceedings of the 15th European Conference on Object-Oriented Programming, pages 53-76. Springer-Vcrlag, Berlin, Heidelberg, 2001. (Pubitemid 33291288)
58. David G. Clarke. John M. Potter, and James Xoble. Ownership types for flexible alias protection. In Proceedings of the 13th ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 48-64. ACM Press, Xcw York, 1998.
59. Aramira Corporation. Jumping beans, 1999. http://www.jumpingbeans.com/.
60. Pasqua D'Ambra, Marco Danelutto. Daniela di Seranno, and Marco Lapegna. Advanced environments for parallel and distributed applications: a view of current status. Parallel Comput., 28(12):1G37-1G62, 2002.
61. Alain Deutsch. Interprocedural may-alias analysis for pointers: Beyond k-limiting. In PLDI'Oj Conference on Programming Language Design and Implementation, pages 230-241. Orlando, Florida, June 1994. ACM SIGPLAN Notices, 29(6).
62. Alain Deutsch. Semantic models and abstract interpretation techniques for inductive data structures and pointers. In Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 226-229, La Jolla. California. June 21-23, 1995
63. E language. Available at http://www.erights.org/.
64. Patrick Thomas Eugster and Sebastien Baehni. Abstracting remote object interaction in a pccr-2-pccr environment. In Proceedings of the 2002 joint ACM-ISCOPE Conference on Java Grande, pages 46-55. ACM Press, Xew York. 2002.
65. CianLuigi Ferrari and Ugo Montanari. Tiles for concurrent and located calculi. In O. Palamidessi and J. Parrow, editors, Electronic Notes in Theoretical Computer Science, volume 7. Elsevier. Amsterdam, 2000.
66. Fabricc Lc Fessant. Detecting distributed cycles of garbage in large-scale systems. In Conference on Principles of Distributed Gomputing(PODG), Rhode Island. August 2001.
67. Cormac Flanagan and Matthias Felleisen. The semantics of future and its use in program optimization. In Conference Record of the 22nd ACM SIGACT-SIG PL AN Symposium on Principles of Programming Languages (POPL'95) [6]. pages 209-220.
68. Cedric Fournet, Michele Boreale, and Cosimo Laneve. Bisimulations in the join calculus. In Proceedings of the IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET), June 1998.
69. Cedric Fournet and Georges Gonthier. The reflexive CHAM and the join-calculus. In Conference Record of the 23rd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'96) [7], pages 372-385.
70. Cedric Fournet and Georges Gonthier. A hierarchy of equivalences for asynchronous calculi. In Larsen et al. [107], pages 844-855.
71. Cedric Fournet. Georges Gonthier, Jean-Jacques Levy, Luc Marangct. and Di-dier Remy. A calculus of mobile agents. In U. Montanari and V. Sassone. editors. Proceedings of the 1th International Conference on Concurrency Theory (CONCUR), volume 1119 of LXOS, pages 406-421. Springer-Yerlag, Berlin. Heidelberg, August 1996. (Pubitemid 126117774)
72. R. J. Fowler. The complexity of using forwarding addresses for decentralized object finding. In Proceedings of PODO'86. pages 108-120. ACM Press. Xew York. August 1986.
73. Hubert Garavel, Frederic Lang, and Radu Mateescu. An overview of CADP 2001. Technical Report RT-254. IXRIA, France, 2001. Also in: European Association for Software Science and Technology (EASST) Newsletter, e 4: 13-24, August 2002
74. Philippa Gardner's web page and courses. Department of Computing, Imperial College. Available at http://www.doc.ic.ac.uk/pg/.
75. http://www.doc.ic.ac.uk/pg/Concurrency/course.html.
76. Xarain Gehani and William D. Roome. The concurrent C programming language. Silicon Press, Summit, New Jersey, 1989.
77. Xarain II. Gehani and Thomas A. Cargill. Concurrent programming in the Ada language: The polling bias. Software-Practice and Experience. 14(5):413-427, May 1984.
78. Scth C. Goldstein, Klaus E. Schauscr, and David E. Culler. Enabling primitives for compiling parallel languages. In Third Workshop) on Languages, Compilers, and Run-Time Systems for Scalable Computers, May 1995.
79. Seth C. Goldstein. Klaus E. Schauser, and David E. Culler. Lazy threads: Implementing a fast parallel call. Journal of Parallel and Distributed Computing, 37(1):5-20, 1996.
80. Andrew D. Gordon and Paul D. Hankin. A concurrent object calculus: Reduction and typing. In Proceedings IILCL'98, volume 16. Elsevier EXTCS, amstcrdam, 1998.
81. Andrew D. Gordon. Paul D. Hankin, and Sren B. Lassen. Compilation and equivalence of imperative objects. Research Scries RS-97-19, BRICS, Department of Computer Science. University of Aarhus, July 1997. Appears also as Technical Report 429, University of Cambridge Computer Laboratory. June 1997.
82. Andrew D. Gordon. Paul D. Hankin, and Sren B. Lassen. Compilation and equivalence of imperative objects. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, 17:74-87. 1997.
83. Andrew D. Gordon and Garetli D. Rees. Bisimilarity for a first-order calculus of objects with subtyping. In (Conference Record of the 23rd ACM SIGACT-SICPLAN Symposium on Principles of Programming Languages (PGPL '96) [7]. pages 386-395.
84. James Gosling. Bill Joy. Guy Steele, and Gilad Bracha. The Java Language Specification Second Edition. Addison-Wesley Longman, Boston. MA. Boston, Massachuscts, 2000. Also available at: http://java.sun.com/docs/books/jls/ second\-edition/html/j.title.doc.htm'/, l.
85. Robert H. Halstcad, Jr. Multilisp: A language for concurrent symbolic computation. ACM Transactions on Programming Languages and Systems (TOPLAS), 7(4):501-538, 1985.
86. Kevin Hammond. Parallel functional programming: An introduction (invited paper). In H. Hong, editor. First International Symposium on Parallel Symbolic Computation (PASCO'Q.j). Linz, Austria, pages 181-193. World Scientific Publishing, Singapore, 1994.
87. Mark Hapner, Rahul Sharma, Rich Burridge, Joseph Fialli, and Kim Ilaase. Java Message Service API tutorial and reference: Messaging for the J2EE platform. Addison-Wesley Longman, Boston, Massachuscts, 2002.
88. Ludovic Ilenrio. Asynchronous Object Calculus: Confluence and Determinacy. PhD thesis, Universite de Xice-Sophia-Antipolis-UF'R Sciences, November 2003. http://www.inria.fr/oasis/Ludovic.Henrio/these/.
89. C. A. R. Iloare. Monitors: An operating system structuring concept. Communications of the ACM. 17(10):549-577, October 1974.
90. A. R. Iloare. Communicating sequential processes. Communications of the ACM. 21(8):666-677, August 1978.
91. C. A. R. Iloare. Communicating sequential processes. Prentice Hall. Englewood Cliffs, New Jersey. 1985.
92. Kohei Honda and Mario Tokoro. An object calculus for asynchronous communication. In ECOOP '91: Proceedings of the European Conference on Object-Oriented Programming, LXCS. pages 133-147. Springer-Vcrlag. Berlin. Heidelberg, 1991.
93. Jean D. Ichbiah. Preliminary Ada reference manual. SIGPLAN Notices. 14(6a):l-145. 1979
94. ISO. Information Processing Systems-Open Systems Interconnection-LOTOS-A Formal Description Technique based on the Temporal Ordering of Observational Behaviour. ISO/IEC 8807, International Organisation for Standardization. Geneva. Switzerland, 1989.
95. Alan Jeffrey. A distributed object calculus. In ACM SIGPLAN Workshop Foundations of Object Oriented Languages, 2000.
96. Cliff Jones. A pi-calculus semantics for an object-based design notation. In Eike Best, editor, Proceedings of CONCUR'93. volume 715 of LXCS. pages 158-172. Springer-Vcrlag, Berlin, Heidelberg. 1993.
97. Cliff B. Jones. An object-based design method for concurrent programs. Technical report. University of Manchester. 1992. UMOS-92-12-1.
98. Cliff B. Jones. Process-algebraic foundations for an object-based design notation. Technical report, University of Manchester, 1993. UMOS-93-10-1.
99. Cliff B. Jones and Steve J. Hodges. Xon-interference properties of a concurrent object-based language: Proofs based on an operational semantics. In Burkhard Freitag. Cliff B. Jones, Christian Lengauer. and Ilans-Jrg Schek. editors. Object-Orientation with Parallelism and Persistence, chapter 1. pages 1-22. Kluwer Academic Publishers, Dordrecht. 199G.
100. Eric Jul, Henry Levy. Xorman Hutchinson, and Andrew Black. Fine-grained mobility in the Emerald system. ACM Transactions on Computer Systems. 6(1):109-133. February 1988.
101. Cilles Kahn. The semantics of a simple language for parallel programming. In J. L. Rosenfeld. editor. Information Processing '7j: Proceedings of the IFIP Congress, pages 474-475. Xorth-Holland, New York, 1974.
102. Cilles Kahn and David MacQueen. Coroutines and networks of parallel processes. In B. Gilchrist, editor, Information Processing '77: Proc. IFIP Congress, pages 993-998. North-Holland, Amsterdam, 1977.
103. Owen Kaser, Shaunak Pawagi, O. R. Ramakrishnan, I. V. Ramakrishnan, and R. O. Sekar. Fast parallel implementation of lazy languages-the EQUALS experience. In LFP'92: Proceedings of the 1992 ACM conference on LISP and functional programming, pages 335-344. ACM Press. Xew York. 1992. (Pubitemid 23613002)
104. Morry Katz and Daniel Weise. Continuing into the future: On the interaction of futures and first-class continuations. In Proceedings of the 1990 A CM Conference on LISP and Functional Programming, pages 176-184. ACM Press. Xew York, 4990.
105. WooYoung Kim and Gul Agha. Efficient support of location transparency in concurrent object-oriented programming languages. In Proceedings of the 1995 ACM/IEEE conference on Super-computing (CDROM). page 39. ACM Press. 1995.
106. Xaoki Kobayashi, Benjamin O. Pierce, and David S. Turner. Linearity and the pi-calculus. In Proceedings of POPL '96, pages 358-371. ACM, January 1996.
107. Xaoki Kobayashi and Akinori Yonezawa. Type-theoretic foundations for concurrent object-oriented programing. In Proceedings of the Ninth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 31-45. ACM Press. Xew York, 1994.
108. Bernard Lang, Christian Queinnec, and Jose Piquer. Garbage collecting the world. In Conference Record of the Nineteenth Annual ACM Symposium on Principles of Programming Languages, ACM SLGPLAN Notices, pages 39-50. January 1992. (Pubitemid 23608098)
109. Kim G. Larsen, Sven Skyum, and Glynn Winskel, editors. 25th Colloquium on Automata, Languages and Programming (IV, ALP) (Aalborg, Denmark), volume 1443 of LXCS. Springer-Verlag. Berlin. Heidelberg, July 1998.
110. Douglas Lea and Doug Lea. Concurrent Programming in Java: Design Principles and Patterns. Addison-Wesley Longman, Boston, Massaehusets, 1996.
111. Barbara Liskov. Alan Snyder. Russell Atkinson, and Craig Schaffert. Abstraction mechanisms in CLU. Communications of the ACM, 20(8):564-576, August 1977.
112. Xinxin Liu and David Walker. Confluence of processes and systems of objects. In Peter D. Mosses, Mogens Xielsen, and Michael I. Schwarzbach. editors, TAPSOFT '95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, volume 915 of LXCS. pages 217-231. Springer-Verlag. Berlin. Heidelberg, 1995.
113. Xinxin Liu and David Walker. Partial confluence of processes and systems of objects. Theoretical Computer Science. 206(1-2):127-162. 1998. (Pubitemid 128451183)
114. Olivier Maffes and Axel Poigne. Synchronous automata for reactive, realtime or embedded systems. Technical Report 967. Arbeitspapiere der GMD, Germany, 1996. Available at http://ais.gmd.de/EES/papers/SAforRRES/SAforRRES. html.
115. Friedemann Mattern and Stefan Funfrocken. A non-blocking lightweight implementation of causal order message delivery. In K. P. Birman, F. Mattern, and A. Schipcr, editors, Theory and Practice in Distributed Systems, volume 938 of LXCS. pages 197-213. Springer-Verlag. Berlin. Heidelberg, 1995.
116. Massimo Merro. Josva Kleist. and Fwe Xestmann. Mobile objects as mobile processes. Information and Computation. 177(2):195-241, 2002. (Pubitemid 35327088)
117. Massimo Merro and Davide Saugiorgi. On asynchrony in name-passing calculi. In Larsen ct al. [107], pages 856-867.
118. Bertrand Meyer. Object-oriented software construction (2nd edition). Prentice-Hall. Englcwood Cliffs, New Jersey. 1997.
119. Robin Milncr. Communication and Concurrency. International Scries in Computer Science. Prentice-Hall, Englewood Cliffs, New Jersey. 1989. SF Fisher Research 511/24.
120. Robin Milner. The polyadic-calculus: A tutorial. In Friedrich L. Bauer, Wilfried Brauer. and Helmut Schwichtenberg, editors. Logic and Algebra of Specification, volume 94 of Series F. XATO ASI, Springer-Verlag, Berlin, Heidelberg, 1993. Available as Technical Report EOS-LFOS-91-180, University of Edinburgh. October 1991.
121. Robin Milner. Communicating and Mobile Systems: the n-Calculus. Cambridge University Press, May 1999.
122. Robin Milner, Joachim Parrow. and David Walker. A calculus of mobile processes, part I/II. Journal of Information and Computation, 100:1-77, September 1992.
123. D. S. Milojicic, W. LaForgc, and D. Ohauhan. Mobile Objects and Agents (MOA). In Proceedings of USENIX COOTS '98, Santa Fe, New Mexico, April 1998.
124. Uwc Xcstmann, Hans Huttcl. Josva Klcist. and Massimo Mcrro. Aliasing models for object migration. In European Conference on Parallel Processing, pages 1353-1368, 1999.
125. Uwc Xcstmann, Hans Huttcl, Josva Klcist. and Massimo Mcrro. Aliasing models for mobile objects. Information and Computation. 175(1):3-33, 2002.
126. Uwe Xestmann and Martín Steffeii. Typing confluence. In Stefania Gnesi and Diego Latella, editors. Proceedings of FMICS'97, pages 77-101. Oonsiglio Xazionale Ricerche di Pisa, 1997. Also available as report ERCIM-10/97-R052, European Research Consortium for Informatics and Mathematics, 1997
127. Uwe Xestmann's web page on Calculi for Mobile Processes. Ecole Poly-technique Federate de Lausanne (EPF'L). Available at http://lamp.epfl.ch/ uwe/.
128. http://lamp.epfl.ch/mobility/
129. Bradford Nichols. Bick Buttlar, and Jackie Proulx Farrcll. Pthreads Programming. O'Reilly & Associates, Inc., 981 Chestnut Street. Newton, MA 021G4, USA. 1996.
130. Martín Odcrsky. Functional nets. In Gcrt Smolka, editor, Proceedings of ESOP 2000, volume 1782 of LXCS, pages 1-25. Springer-Verlag. Berlin. Heidelberg, 2000.
131. Olaf Owe, Stein Krogdahl, and Tom Lychc. editors. From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl, volume 2635 of LXCS. Springer. 2004.
132. Thomas Parks and David Roberts. Distributed Process Xetworks in Java. In Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS2003). Nice, France, April 2003
133. Benjamin O. Pierce. Programming in the pi-calculus: A tutorial introduction to PlCT (PICT version 4.1), 1998.
134. Benjamin C. Pierce and David X. Turner. Concurrent objects in a process calculus. In Takayasu Ito and Akinori Yonczawa. editors. Proceedings of Theory and Practice of Parallel Programming (TPPP'Oj), Sendai, Japan, LXCS. pages 187-215. Springer-Verlag, Berlin, Heidelberg. 1995.
135. Benjamin C. Pierce and David X'. Turner. PlCT: A programming language based on the pi-calculus. In Cordon Plotkin. (John Stilling, and Mads Tofte. editors, Proof, Language and Interaction: Essays in Honour of Robin Milner. Foundations of Computing. MIT Press, Cambridge. Massachuscts, May 2000
136. POSIX. System Application Program Interface (API) [C Language], Information technology-Portable Operating System Interface (POSIX). IEEE Computer Society, 345 E. 47th St. New York, XY 10017. USA. 1996. ISO/IEC 9945-1:1996.
137. ProActive API and environment. Available at http://www.inria.fr/oasis/ proactive (under LGPL).
138. Christian Queinnec and Kathleen Callaway. Lisp in small pieces. Cambridge University Press, 1996, reprint 2003.
139. John II. Reppy. (JAIL: A higher concurrent language. In Proceedings of the Conference on Programming Language Design and Implementation, pages 293-305. ACM Press, New York, 1991.
140. Remi Rcvirc, Florence Zaral. and Thierry Gauticr. Efficient and easy parallel implementation of large numerical simulations. In Jack Dongarra. Domenico Laforenza, and Sal vat ore Orlando, editors, Recent Advances in Parallel Virtual Machme and Message Passing Interface, volume 2840 of LXOS, pages 663-666. Springer-Verlag. Berlin. Heidelberg, October 2003.
141. Jean-Louis Roch. Ordonnancement de programmes paralleles sur grappes: thcoric versus pratique. In Actes du Congres International ALA 2001, Uni-versit Mohamm V, pages 131-144, Rabat, Maroc. 28-31 May 2001.
142. Mooly Sagiv, Thomas Reps, and Susan Ilorwitz. Precise interprocedural dataflow analysis with applications to constant propagation. Lecture Notes in Computer Science. 915:051, 1995.
143. Mooly Sagiv, Thomas Reps, and Susan Ilorwitz. Precise interprocedural dataflow analysis with applications to constant propagation. Theoretical Computer Science, 167(1-2): 131-170, 1996. (Pubitemid 126412419)
144. Davide Sangiorgi. Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD thesis. LFOS. University of Edinburgh, 1993. CST-99-93 (also published as ECS-LFCS-93-266).
145. Davide Sangiorgi. The typed-calculus at work: A proof of Jones's paralleli-sation theorem on concurrent objects. Theory and Practice of Object-Oriented Systems, 5(1), 1999. An early version was included in the Informal Proceedings of FOOL I January 1997.
146. Davide Sangiorgi. Asynchronous process calculi: The first-order and higher-order paradigms (tutorial). Theoretical Computer Science, 253(2):311-350, February 2001. (Pubitemid 32672767)
147. Davide Sangiorgi and David Walker. The-K-calculus: a Theory of Mobile Processes. Cambridge University Press. 2001.
148. Alan Schmitt and Jean-Bernard Stefani. The M-calculus: A higher-order distributed process calculus. In Proceedings of the 30th ACM SIGACT-SIGPLAN symposium on Principles of Programming Languages (POPL), pages 50-61. ACM Press, New York, 2003.
149. Marc Shapiro, Peter Dickman, and David Plainfoss. SSP chains: Robust, distributed references supporting acyclic garbage collection. Rapport de Recherche 1799, IXRIA. Rocquencourt, November 1992.
150. S. Skcdziclcwski and J. Glaucrt. IF1 An Intermediate Form for Applicative Languages. Lawrence Livermore Xational Laboratory, Livermore. California, USA, 1985.
151. David B. Skillicorn and Domenico Talia. Programming languages for parallel processing. IEEE Computer Society Press, 1995.
152. David B. Skillicorn and Domenico Talia. Models and languages for parallel computation. ACM Comput. Surv. 30(2):123-169. 1998.
153. Brian Cantwell Smith. Reflection and semantics in Lisp. In Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, pages 23-35, Salt Lake City. Utah. January 15-18, 1984. ACM Press, New York.
154. Guy L. Steele. Jr. Making asynchronzous parallelism safe for the world. In POPL'90. Proceedings of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, January 17-19. 1990, San Francisco, CA, pages 218-231. ACM Press, New York, 1990.
155. Jean Bernard Stefani. A calculus ol higher-order distributed components. Technical report. IXRIA Rhoncs Alpcs. 2003. RR-4692.
156. Chris Steketee, Weiping Zhu, and Philip Moseley. Implementation of process migration in amoeba. In International Conference on Distributed Computing Systems, pages 194-201. 1994.
157. Ohantal Taconet and Guy Bernard. A localization service for large scale distributed systems based on microkernel technology. In Proceedings of ROSE '91, 1994.
158. Andrew S. Tancnbaum and Maartcn van Stccn. Distributed Systems: Principles and Paradigms. Prentice-Hall. Englewood Cliffs, New Jersey. 2002.
159. Eric Tauter, Jacques Xoye, Denis Caromel. and Pierre Cointe. Partial behavioral reflection: Spatial and temporal selection of reification. In Ron Crocker and Guy L. Steele, Jr., editors, Proceedings of the 18th ACM SIGPLAN conference on Object-oriented Programing. Systems. Languages, and Applications (OOPSLA 2003). pages 27-46. Anaheim. California, October 2003. ACM Press, New York.
160. P. H. J. van Eijk, 0. A. Visscrs, and M. Diaz, editors. The Formal Description Technique LOTOS-Results of the ESPRIT/SEDOS Project. North-Holland. Amsterdam. 1989.
161. Takuo Watanabc and Akinori Yonezawa. Reflection in an object-oriented concurrent language. In Conference Proceedings on Object-oriented Programming Systems. Languages and Applications, pages 306-315. ACM Press, New York. 1988.
162. Daren L. Webb, Andrew L. Wendelborn, and Julien Vayssiere. A study of computational reconfiguration in a Process Xetwork. In Proceedings of the 7th Workshop on Integrated Data Environments Australia (IDEA '7), February 2000.
163. Peter Wegner. Concepts and paradigms of object-oriented programming. SIGPLAN OOPS Mess 1(1):7-87. 1990. Expansion of OOPSLA'89 Keynote Talk, October 4.
164. Akinori Yonezawa. Jean-Pierre Briot. and Etsuya Shibayama. Object-oriented concurrent programming in ABCL/1. In Proceedings OOPSLA '86, pages 258-268, November 1986. Published as ACM SIGPLAN Notices, 21.
165. Akinori Yonezawa. Etsuya Shibayama. Toshihiro Takada. and Yasuaki Honda. Modelling and programming in an object-oriented concurrent language ABCL/1. In A. Yonezawa and M. Tokoro, editors, Object-Oriented Concurrent Programming, pages 55-89. MIT Press, Cambridge, Massachusets. 1987.
166. Silvano Dal Zilio. Mobile processes: A commented bibliography. In Modeling and Verification of Parallel Processes, 11th Summer School. MOVEP 2000. Nantes, France, June 19-23, 2000. Springer-Verlag, Berlin, Heidelberg, 2001.