A Step Toward Automatic Distribution of Java Programs-Reference-Cited by-同舟云学术

A Step Toward Automatic Distribution of Java Programs

Published:2000 Issue: Volume: Page:141-161
ISSN:1868-4238
Container-title:Formal Methods for Open Object-Based Distributed Systems IV
language:
Short-container-title:

Author:

Attali Isabelle,Caromel Denis,Guider Romain

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35520-7_7

Reference35 articles.

1. Gul A. Agha. ACTORS: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.

2. P. S. Almeida. Balloon types: controlling sharing of states in data types. In Proc. ECOOP), LNCS 1241, pages 32–59. Springer Verlag, 1997.

3. P. America. Inheritance and subtyping in a parallel object-oriented language. In Proc. ECOOP ‘87, LNCS 276, pages 234–242, Paris, France, June 1987.

4. I. Attali, D. Caromel, and S. O. Ehmety. About the automatic continuations in the Eiffel// Model. In Proc. of the 1998 Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA’98), July 1998.

5. I. Attali, D. Caromel, and S. O. Ehmety. Formal Properties of the Eiffel// Model. In Parallel and Distributed Objects. Hermes Science Publications, 1999.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Babylon: middleware for distributed, parallel, and mobile Java applications;Concurrency and Computation: Practice and Experience;2008-07

2. Formal Description of a Runtime Infrastructure for Automatic Distribution of Programs;Computer and Information Sciences – ISCIS 2006;2006

3. Formal Specification and Implementation of an Environment for Automatic Distribution;Advances in Grid and Pervasive Computing