Inheritance in the join calculus

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

Volumn 1974, Issue , 2000, Pages 397-408

  Fournet, Cédric ^a   Laneve, Cosimo ^b   Maranget, Luc ^c   Rémy, Didier ^c  

^a MICROSOFT RESEARCH   (United Kingdom)

^b UNIVERSITY OF BOLOGNA   (Italy)

^c INRIA ROCQUENCOURT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING;

CLASS-BASED; DESIGN OPERATORS; JOIN CALCULUS; OBJECT ORIENTED;

CALCULATIONS;

EID: 84947741374     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44450-5_32     Document Type: Conference Paper

References (20)

1. [1] G. Agha, P. Wegner, and A. Yonezawa. Research Directions in Concurrent Object-Oriented Programming. MIT Press, 1993.
2. [2] P. America. Issues in the design of a parallel object-oriented language. Formal Aspects of Computing, 1(4):366–411, 1989.
3. [3] P. D. Blasio and K. Fisher. A calculus for concurrent objects. In U. Montanari and V. Sassone, editors, Proceedings of the 7th International Conference on Concurrency Theory (CONCUR’96), LNCS 1119, pages 406–421, 1996.
4. [4] L. Cardelli. Obliq A language with distributed scope. SRC Research Report 122, Digital Equipment, June 1994.
5. [5] S. Dal-Zilio. Quiet and bouncing objects: Two migration abstractions in a simple distributed blue calculus. In H. Hüttel and U. Nestmann, editors, Proceedings of the Worshop on Semantics of Objects as Proceedings (SOAP’98), pages 35–42, June 1998.
6. [6] C. Fournet. The Join-Calculus: a Calculus for Distributed Mobile Programming. PhD thesis, Ecole Polytechnique, Palaiseau, Nov. 1998.
7. [7] C. Fournet and G. Gonthier. The reflexive chemical abstract machine and the join-calculus. In Proceedings of POPL’96, pages 372–385, Jan. 1996.
8. [8] C. Fournet, G. Gonthier, J.-J. Lévy, L. Maranget, and D. Rémy. A calculus of mobile agents. In U. Montanari and V. Sassone, editors, Proceedings of the 7th International Conference on Concurrency Theory (CONCUR’96), LNCS 1119, pages 406–421, 1996.
9. [9] C. Fournet, C. Laneve, L. Maranget, and D. Rémy. Implicit typing à la ML for the join-calculus. In A. Mazurkiewicz and J. Winkowski, editors, Proceedings of the 8th International Conference on Concurrency Theory, LNCS 1243, pages 196–212, 1997.
10. [10] C. Fournet, C. Laneve, L. Maranget, and D. Rémy. Inheritance in the joincalculus. Full version. Available electronically at http://cristal.inria.fr/~remy/work/ojoin.ps.gz, June 2000.
11. [11] A. D. Gordon and P. D. Hankin. A concurrent object calculus: reduction and typing. In U. Nestmann and B. C. Pierce, editors, HLCL’98: High-Level Concurrent Languages, volume 16(3) of entcs, Nice, France, Sept. 1998.
12. [12] J. Kleist and D. Sangiorgi. Imperative objects and mobile processes. June 1998.
13. [13] F. Le Fessant. The JoCAML system prototype. Software and documentation available from http://pauillac.inria.fr/jocaml, 1998.
14. [14] F. Le Fessant and L. Maranget. Compiling join-patterns. Electronic Notes in Computer Science, 16(2), 1998.
15. [15] S. Matsuoka and A. Yonezawa. Analysis of inheritance anomaly in object-oriented concurrent programming languages. In G. Agha, P. Wegner, and A. Yonezawa, editors, Research Directions in Concurrent Object-Oriented Programming, chapter 4, pages 107–150. The MIT Press, 1993.
16. [16] O. Nierstrasz. Towards an object calculus. In O. N. M. Tokoro and P. Wegner, editors, Proceedings of the ECOOP’91 Workshop on Object-Based Concurrent Computing, LNCS 612, pages 1–20, 1992.
17. [17] M. Odersky. Functional nets. In European Symposium on Programming 2000, LNCS. Springer Verlag, 2000.
18. [18] D. Sangiorgi. An interpretation of typed objects into typed π-calculus. Information and Computation, 143(1):34–73, 1998.
19. [19] D. J. Walker. Objects in the pi-calculus. Information and Computation, 116(2):253–271, 1995.
20. [20] A. Yonezawa, J.-P. Briot, and E. Shibayama. Object-oriented concurrent programming in ABCL/1. ACM SIGPLAN Notices, 21(11):258–268, Nov. 1986. Proceedings of OOPSLA’86.