- [1]
-
G. Agha, P. Wegner, and A. Yonezawa.
Research Directions in Concurrent Object-Oriented Programming.
MIT Press, 1993.
- [2]
-
P. America.
Issues in the design of a parallel object-oriented language.
Formal Aspects of Computing, 1(4):366--411, 1989.
- [3]
-
N. Benton, L. Cardelli, and C. Fournet.
Modern Concurrency Abstractions for c.
In Informal Proceedings of the FOOL 9 workshop. ACM, January
2002.
- [4]
-
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.
- [5]
-
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.
- [6]
-
L. Cardelli.
Obliq A language with distributed scope.
Computing Systems, 8(1):27--59, 1995.
- [7]
-
G. Chen, M. Odersky, C. Zenger, and M. Zenger.
A functional view of join.
Technical Report ACRC-99-016, University of South Australia, 1999.
- [8]
-
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.
- [9]
-
C. Fournet.
The Join-Calculus: a Calculus for Distributed Mobile
Programming.
PhD thesis, Ecole Polytechnique, Palaiseau, Nov. 1998.
- [10]
-
C. Fournet and G. Gonthier.
The reflexive chemical abstract machine and the join-calculus.
In Proceedings of POPL '96, pages 372--385, Jan. 1996.
- [11]
-
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.
- [12]
-
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.
- [13]
-
A. D. Gordon and P. D. Hankin.
A concurrent object calculus: reduction and typing.
In Nestmann and Pierce [22].
- [14]
-
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.
- [15]
-
F. Le Fessant.
The JoCaml system prototype.
Software and documentation available from
http://pauillac.inria.fr/jocaml, 1998.
- [16]
-
F. Le Fessant and L. Maranget.
Compiling join-patterns.
In Nestmann and Pierce [22].
- [17]
-
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.
- [18]
-
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.
- [19]
-
M. Merro, J. Kleist, and U. Nestmann.
Mobile objects as mobile processes.
Information and Computation, To appear.
- [20]
-
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.
- [21]
-
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.
- [22]
-
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.
- [23]
-
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.
- [24]
-
M. Odersky.
Functional nets.
In Proc. European Symposium on Programming, number 1782 in
LNCS, pages 1--25. Springer Verlag, Mar. 2000.
- [25]
-
M. Odersky.
An overview of functional nets.
In APPSEM Summer School, Caminha, Portugal, LNCS. Springer
Verlag, Sept. 2000.
To appear.
- [26]
-
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
ftp://ftp.inria.fr/INRIA/Projects/cristal/
Didier.Remy/objective-ml!tapos98.ps.gz.
- [27]
-
J. G. Riecke and C. A. Stone.
Privacy via subsumption.
Theory and Practice of Object Systems, 1999.
- [28]
-
D. Sangiorgi.
An interpretation of typed objects into typed p-calculus.
Information and Computation, 143(1):34--73, 1998.
- [29]
-
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.
- [30]
-
J. Vouillon.
Combining subsumption and binary methods: An object calculus with
views.
In Proceedings of POPL '01, Jan. 2001.
- [31]
-
D. J. Walker.
Objects in the pi-calculus.
Information and Computation, 116(2):253--271, 1995.
- [32]
-
M. Wand.
Complete type inference for simple objects.
In Proceedings of the IEEE Symposium on Logic in Computer
Science, Ithaca, NY, June 1987.
- [33]
-
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.