Concurrent Programming in Java
© 1996-1999 Doug Lea
Readings and Resources
The Hermes programming language pioneered several language
constructs and techniques for structuring concurrent and distributed
programs, including reference transfer as a primitive. See:
The Spring operating system interface definition language embedded
hand-off policies as argument qualifiers for methods. See:
Strom, Robert, David Bacon, Arthur Goldberg, Andy Lowry, Daniel
Yellin, and Shaula Yemini. Hermes: A Language for Distributed
Computing, Prentice Hall, 1991.
Techniques based on unique references have also played roles in
other OO design and analysis methods. See, for example:
A Spring Collection, SunSoft Press, 1994.
For a formal approach to confinement in distributed systems, see:
Hogg, John, Doug Lea, R. C. Holt, Alan Wills, and Dennis de
Champeaux. "The Geneva Convention on the Treatment of Object
Aliasing", OOPS Messenger, April 1992.
Cardelli, Luca, and Andrew Gordon. "Mobile Ambients", in Maurice
Nivat (ed.), Foundations of Software Science and Computational
Structures, Springer LNCS 1378, 1998.
Last modified: Sun Oct 17 07:47:47 EDT 1999