Previous Up Next
G. Agha, P. Wegner, and A. Yonezawa. Research Directions in Concurrent Object-Oriented Programming. MIT Press, 1993.

P. America. Issues in the design of a parallel object-oriented language. Formal Aspects of Computing, 1(4):366--411, 1989.

N. Benton, L. Cardelli, and C. Fournet. Modern Concurrency Abstractions for c. In Informal Proceedings of the FOOL 9 workshop. ACM, January 2002.

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.

G. Bracha and W. Cook. Mixin-Based Inheritance. In N. Meyrowitz, editor, European Conference on Object-Oriented Programming: Systems, Languages, and Applications, pages 303--311, Otawa, 1990. ACM press.

L. Cardelli. Obliq A language with distributed scope. Computing Systems, 8(1):27--59, 1995.

G. Chen, M. Odersky, C. Zenger, and M. Zenger. A functional view of join. Technical Report ACRC-99-016, University of South Australia, 1999.

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.

C. Fournet. The Join-Calculus: a Calculus for Distributed Mobile Programming. PhD thesis, Ecole Polytechnique, Palaiseau, Nov. 1998.

C. Fournet and G. Gonthier. The reflexive chemical abstract machine and the join-calculus. In Proceedings of POPL '96, pages 372--385, Jan. 1996.

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.

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.

A. D. Gordon and P. D. Hankin. A concurrent object calculus: reduction and typing. In Nestmann and Pierce [22].

J. Kleist and D. Sangiorgi. Imperative objects and mobile processes. In Proc. IFIP Working Conference on Programming Concepts and Methods (PROCOMET'98). North-Holland, 1998.

F. Le Fessant. The JoCaml system prototype. Software and documentation available from, 1998.

F. Le Fessant and L. Maranget. Compiling join-patterns. In Nestmann and Pierce [22].

X. Leroy, D. Doligez, J. Garrigue, D. Rémy, and J. Vouillon. The Objective Caml system, documentation and user's manual - release 3.04. Technical report, INRIA, December 2001. Documentation distributed with the Objective Caml system.

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.

M. Merro, J. Kleist, and U. Nestmann. Mobile objects as mobile processes. Information and Computation, To appear.

J. Meseguer. Solving the inheritance anomaly in concurrent object-oriented programming. In O. M. Nierstrasz, editor, 7th European Conference on Object Oriented Programming, number 707 in LNCS, pages 220--246. SRI International, Springer Verlag, 1993.

R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts I and II. Information and Computation, 100:1--40 and 41--77, Sept. 1992.

U. Nestmann and B. C. Pierce, editors. HLCL '98: High-Level Concurrent Languages, volume 16(3) of Electronic Notes in Theoretical Computer Science, Nice, France, Sept. 1998.

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.

M. Odersky. Functional nets. In Proc. European Symposium on Programming, number 1782 in LNCS, pages 1--25. Springer Verlag, Mar. 2000.

M. Odersky. An overview of functional nets. In APPSEM Summer School, Caminha, Portugal, LNCS. Springer Verlag, Sept. 2000. To appear.

D. Rémy and J. Vouillon. Objective ML: A simple object-oriented extension to ML. In Proceedings of POPL '97, Jan. 1997. Available electronically at Didier.Remy/objective-ml!

J. G. Riecke and C. A. Stone. Privacy via subsumption. Theory and Practice of Object Systems, 1999.

D. Sangiorgi. An interpretation of typed objects into typed p-calculus. Information and Computation, 143(1):34--73, 1998.

V. T. Vasconcelos. Typed concurrent objects. In 8th European Conference on Object Oriented Programming, volume 821 of Lecture Notes in Computer Science, pages 100--117. Springer-Verlag, July 1994.

J. Vouillon. Combining subsumption and binary methods: An object calculus with views. In Proceedings of POPL '01, Jan. 2001.

D. J. Walker. Objects in the pi-calculus. Information and Computation, 116(2):253--271, 1995.

M. Wand. Complete type inference for simple objects. In Proceedings of the IEEE Symposium on Logic in Computer Science, Ithaca, NY, June 1987.

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.

Previous Up Next